The essence of program transformation by partial evaluation and driving

This publication has 16 references indexed in Scilit:

• Generalized partial computation for a lazy functional language
  Published by Association for Computing Machinery (ACM) ,1991
• Projection Factorisations in Partial Evaluation
  Published by Cambridge University Press (CUP) ,1991
• Application of metasystem transition to function inversion and transformation
  Published by Association for Computing Machinery (ACM) ,1990
• Partial evaluation of pattern matching in strings
  Information Processing Letters, 1989
• A constructive interpretation of the full set theory
  The Journal of Symbolic Logic, 1987
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• Mixed computation: potential applications and problems for study
  Theoretical Computer Science, 1982
• Semantic definitions in REFAL and automatic production of compilers
  Lecture Notes in Computer Science, 1980
• Fast Pattern Matching in Strings
  SIAM Journal on Computing, 1977
• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977