Occam's razor in metacomputation: the notion of a perfect process tree

This publication has 10 references indexed in Scilit:

• Program transformation with metasystem transitions
  Journal of Functional Programming, 1993
• Generalized partial computation using disunification to solve constraints
  Published by Springer Nature ,1993
• Essence of generalized partial computation
  Theoretical Computer Science, 1991
• 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
• Partial evaluation of pattern matching in strings
  Information Processing Letters, 1989
• A self-applicable partial evaluator for term rewriting systems
  Published by Springer Nature ,1989
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• 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