Automatic autoprojection of recursive equations with global variables and abstract data types

This publication has 22 references indexed in Scilit:

• Automatic autoprojection of recursive equations with global variables and abstract data types
  Science of Computer Programming, 1991
• Semantics-directed compilation of nonlinear patterns
  Information Processing Letters, 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
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• Detecting global variables in denotational specifications
  ACM Transactions on Programming Languages and Systems, 1985
• 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
• Mixed computation: potential applications and problems for study
  Theoretical Computer Science, 1982