Compiler generation for interactive graphics using intermediate code

This publication has 18 references indexed in Scilit:

• A uniform approach for compile-time and run-time specialization
  Published by Springer Nature ,1996
• Efficient multi-level generating extensions for program specialization
  Published by Springer Nature ,1995
• Deductive and inductive synthesis of equational programs
  Journal of Symbolic Computation, 1993
• Compiling with Continuations
  Published by Cambridge University Press (CUP) ,1991
• Automatic autoprojection of recursive equations with global variables and abstract data types
  Science of Computer Programming, 1991
• Logic programming in the LF logical framework
  Published by Cambridge University Press (CUP) ,1991
• A data locality optimizing algorithm
  Published by Association for Computing Machinery (ACM) ,1991
• Efficient type inference for higher-order binding-time analysis
  Published by Springer Nature ,1991
• Binding time analysis for high order untyped functional languages
  Published by Association for Computing Machinery (ACM) ,1990
• Hardware/software trade‐offs for bitmap graphics on the blit
  Software: Practice and Experience, 1985