Arity raiser and its use in program specialization

This publication has 11 references indexed in Scilit:

• Deforestation: Transforming programs to eliminate trees
  Published by Springer Nature ,1988
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• Data flow analysis of applicative programs using minimal function graphs
  Published by Association for Computing Machinery (ACM) ,1986
• An experiment in partial evaluation: The generation of a compiler generator
  Lecture Notes in Computer Science, 1985
• Polyvariant mixed computation for analyzer programs
  Acta Informatica, 1984
• Experiments with a supercompiler
  Published by Association for Computing Machinery (ACM) ,1982
• The transformational machine: Theme and variations
  Lecture Notes in Computer Science, 1981
• A supercompiler system based on the language REFAL
  ACM SIGPLAN Notices, 1979
• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977