Circular expressions: elimination of static environments
- 31 May 1982
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 1 (3) , 203-222
- https://doi.org/10.1016/0167-6423(82)90015-6
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Semantics of the Domain of Flow DiagramsJournal of the ACM, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- An algebraic interpretation of the λβK-calculus; and an application of a labelled λ-calculusTheoretical Computer Science, 1976
- A Syntactic Characterization of the Equality in Some Models for the Lambda CalculusJournal of the London Mathematical Society, 1976
- A correspondence between ALGOL 60 and Church's Lambda-notationsCommunications of the ACM, 1965
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964