Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The categorical abstract machine
Science of Computer Programming
Efficient implementation of an algebraic specification language
Algebraic methods: theory, tools and applications
Globalization and live variables
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Higher-order functions considered unnecessary for higher-order programming
Research topics in functional programming
Efficient compilation of lazy evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Development of the Schorr-Waite Algorithm
Program Construction, International Summer Schoo
Automatic generation of efficient evaluators for attribute grammars
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
| Hi-index | 0.00 |
An optimization technique for the implementation of functional languages with eager evaluation is described. Recursion is compiled into a variant of the Schorr-Waite algorithm that is fast and uses less stack space than a standard runtime stack implementation. Analysis techniques are provided to determine the safety of the optimization.