A uniform approach for compile-time and run-time specialization

This publication has 14 references indexed in Scilit:

• Taming control flow: a structured approach to eliminating goto statements
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Exokernel
  ACM SIGOPS Operating Systems Review, 1995
• Extensibility safety and performance in the SPIN operating system
  ACM SIGOPS Operating Systems Review, 1995
• Context-insensitive alias analysis reconsidered
  ACM SIGPLAN Notices, 1995
• Efficient context-sensitive pointer analysis for C programs
  ACM SIGPLAN Notices, 1995
• DCG
  Published by Association for Computing Machinery (ACM) ,1994
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994
• From interpreting to compiling binding times
  Published by Springer Nature ,1990
• Mix: A self-applicable partial evaluator for experiments in compiler generation
  Higher-Order and Symbolic Computation, 1989
• A denotational framework for data flow analysis
  Acta Informatica, 1982