A functional intermediate form for diverse source languages

Authors:
David V. Mason
Affiliations:
School of Computer Science, Ryerson Polytechnic University, 350 Victoria Street, Toronto, Ontario Canada M5B 2K3
Venue:
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Year:
1996

Citing 10
Cited 0

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
ORBIT: an optimizing compiler for scheme

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
The C programming language

The C programming language
Essentials of programming languages

Essentials of programming languages
Compiling with continuations

Compiling with continuations
A practical tool kit for making portable compilers

Communications of the ACM
The next 700 programming languages

Communications of the ACM
Proposal for an UNCOL

Communications of the ACM
The Definition of Standard ML

The Definition of Standard ML
Rabbit: A Compiler for Scheme

Rabbit: A Compiler for Scheme

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the use of WatIF, a simple compiler intermediate form based on the λ-calculus, for writing compiler front-ends for a wide range of programming languages. Somewhat similar intermediate forms have been previously used for single-language compilers, but applicability to such a range of languages has not been previously reported. Examples of code generated by front-ends for several languages show the large set of application-language features supported by WatIF.