An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language

This publication has 20 references indexed in Scilit:

• The essence of program transformation by partial evaluation and driving
  Published by Springer Nature ,2005
• Foundations for partial evaluation of functional programs with computational effects
  ACM Computing Surveys, 1998
• A computational formalization for partial evaluation
  Mathematical Structures in Computer Science, 1997
• A positive supercompiler
  Journal of Functional Programming, 1996
• Fortran program specialization
  ACM SIGPLAN Notices, 1995
• On the specialization of online program specializers
  Journal of Functional Programming, 1993
• Parameterized partial evaluation
  ACM Transactions on Programming Languages and Systems, 1993
• Automatic autoprojection of recursive equations with global variables and abstract data types
  Science of Computer Programming, 1991
• Mix: A self-applicable partial evaluator for experiments in compiler generation
  Higher-Order and Symbolic Computation, 1989
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986