A First-Order Functional Intermediate Language for Verified Compilers.
Sigurd SchneiderGert SmolkaSebastian HackPublished in: CoRR (2015)
Keyphrases
- programming language
- functional language
- general purpose
- language learning
- quantifier free
- higher order
- natural language
- specification language
- quantifier elimination
- hardware and software
- object oriented programming
- linear temporal logic
- predicate calculus
- model theoretic
- horn clauses
- computer architecture
- first order logic
- object oriented
- artificial intelligence
- intermediate level
- conditional logic
- databases
- logic programming