For a better support of static data flow
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 496-519
- https://doi.org/10.1007/3540543961_24
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- Declarative continuations: An investigation of duality in programming language semanticsPublished by Springer Nature ,2005
- Semantics-directed compilation of nonlinear patternsInformation Processing Letters, 1991
- Static and dynamic semantics processingPublished by Association for Computing Machinery (ACM) ,1991
- Semantics-directed generation of a Prolog compilerPublished by Springer Nature ,1991
- Partial evaluation is fuller lazinessPublished by Association for Computing Machinery (ACM) ,1991
- Efficient stack allocation for tail-recursive languagesPublished by Association for Computing Machinery (ACM) ,1990
- From interpreting to compiling binding timesPublished by Springer Nature ,1990
- Partial evaluation of pattern matching in stringsInformation Processing Letters, 1989
- Continuation-passing, closure-passing stylePublished by Association for Computing Machinery (ACM) ,1989
- Lambda lifting: Transforming programs to recursive equationsPublished by Springer Nature ,1985