Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper).
Daniil BerezunNeil D. JonesPublished in: PEPM (2017)
Keyphrases
- lower level
- invited paper
- partial evaluation
- lambda calculus
- predicate calculus
- predicate logic
- higher level
- program understanding
- database query languages
- explanation based generalization
- high level
- low level
- programming language
- upper level
- logic programming
- source code
- first order logic
- fault localization
- reverse engineering
- higher order
- relational algebra
- software maintenance
- complex objects
- semantic information
- expressive power
- knowledge discovery
- database systems
- xpath queries
- lecture notes
- conceptual model