Towards bridging the gap between programming languages and partial evaluation.
Anne-Françoise Le MeurJulia L. LawallCharles ConselPublished in: PEPM (2002)
Keyphrases
- partial evaluation
- programming language
- explanation based generalization
- logic programming
- object oriented
- strongly typed
- general purpose
- high level
- database languages
- object oriented programming
- programming environment
- lambda calculus
- software engineering
- functional programming
- specification language
- program code
- programming paradigms
- denotational semantics
- programming language constructs
- data mining
- abstract data types
- high level programming language