CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The HORIP project explores advanced methods in program analysis using higher-order term rewriting. It focuses on understanding program properties related to complexity and compiler correctness, aiming to enhance the theoretical foundations and practical applications of programming languages.
The HORIP project will employ higher-order term rewriting to characterise intensional program properties: properties concerned with ""how"" rather than ""what"" a program computes, such as complexity, compressibility and safety.Term rewriting is a formal system which can be used to specify algorithms.
Unlike common programming languages, term rewriting has a simple, formal definition which admits non-determinism.
Higher-order term rewriting is an extension therof, which shares these advantages b…
KOBENHAVNS UNIVERSITET
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
