Compilation of Lambda-Calculus into Functional Machine Code.
Pascal FradetDaniel Le MétayerPublished in: TAPSOFT, Vol.2 (1989)
Keyphrases
- lambda calculus
- program understanding
- code generation
- programming language
- source code
- reverse engineering
- predicate calculus
- fault localization
- software maintenance
- instruction scheduling
- database query languages
- general purpose
- artificial intelligence
- relational model
- higher order
- expert systems
- data structure
- databases