Incorporating static analysis in a combinator-based compiler

Publisher Website

1 August 1989

journal article
Published by Elsevier in Information and Computation

Vol. 82 (2) , 151-184
https://doi.org/10.1016/0890-5401(89)90052-7

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

A theory of type polymorphism in programming
Published by Elsevier ,2003
Program transformations in a denotational setting
ACM Transactions on Programming Languages and Systems, 1985
A structured approach to static semantics correctness
Science of Computer Programming, 1983
Loops in combinator-based compilers
Information and Control, 1983
A denotational framework for data flow analysis
Acta Informatica, 1982
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems, 1982
A new implementation technique for applicative languages
Software: Practice and Experience, 1979
The denotational semantics of programming languages
Communications of the ACM, 1976