A Linear First-Order Functional Intermediate Language for Verified Compilers.
Sigurd SchneiderGert SmolkaSebastian HackPublished in: ITP (2015)
Keyphrases
- programming language
- functional language
- language learning
- natural language
- linear temporal logic
- higher order
- hardware and software
- intermediate level
- computer architecture
- linear systems
- language processing
- model theoretic
- computer systems
- specification language
- general purpose
- database systems
- conditional logic
- predicate calculus
- function free horn
- quantifier elimination
- information systems
- closed form
- data processing
- logic programs
- object oriented
- relational databases
- high level