A uniform approach for compile-time and run-time specialization
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Taming control flow: a structured approach to eliminating goto statementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- ExokernelACM SIGOPS Operating Systems Review, 1995
- Extensibility safety and performance in the SPIN operating systemACM SIGOPS Operating Systems Review, 1995
- Context-insensitive alias analysis reconsideredACM SIGPLAN Notices, 1995
- Efficient context-sensitive pointer analysis for C programsACM SIGPLAN Notices, 1995
- DCGPublished by Association for Computing Machinery (ACM) ,1994
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- From interpreting to compiling binding timesLecture Notes in Computer Science, 1990
- Mix: A self-applicable partial evaluator for experiments in compiler generationHigher-Order and Symbolic Computation, 1989
- A denotational framework for data flow analysisActa Informatica, 1982