Loops in combinator-based compilers
- 30 June 1983
- journal article
- Published by Elsevier in Information and Control
- Vol. 57 (2-3) , 148-164
- https://doi.org/10.1016/s0019-9958(83)80041-2
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Control Flow Aspects of Semantics-Directed CompilingACM Transactions on Programming Languages and Systems, 1983
- Deriving Target Code as a Representation of Continuation SemanticsACM Transactions on Programming Languages and Systems, 1982
- The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive DefinitionsJournal of the ACM, 1982
- More on advice on structuring compilers and proving them correctTheoretical Computer Science, 1981
- First-order identities as a defining languageActa Informatica, 1980
- Partially additive categories and flow-diagram semanticsJournal of Algebra, 1980
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979
- The þ-function in λ-K-conversionThe Journal of Symbolic Logic, 1937