A functional intermediate form for diverse source languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A functional intermediate form for diverse source languages

Full text

Pdf (215 KB)

Source

IBM Centre for Advanced Studies Conference archive
Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research table of contents

Toronto, Ontario, Canada

Page: 27

Year of Publication: 1996

Author

David V. Mason

School of Computer Science, Ryerson Polytechnic University, 350 Victoria Street, Toronto, Ontario Canada M5B 2K3

Sponsors

CRSNG : Natural Sci and EngRch Council of Canada
IBM Canada : IBM Canada
NRC : National Research Council - Canada

Publisher

IBM Press

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 7, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Andrew W. Appel, Compiling with continuations, Cambridge University Press, New York, NY, 1992
	2	Melvin E. Conway, Proposal for an UNCOL, Communications of the ACM, v.1 n.10, p.5-8, Oct. 1958 [doi>10.1145/368924.368928]
	3	{3} Defense Research Agency, RSRE, Malvern, Worcestershire, United Kingdom WR14 3PS. TDF Specification , February 1992.
	4	{4} Michael Franz. "Code-Generation On-the-Fly: A Key to Portable Software". Master's thesis, Swiss Federal Institute of Technology, Zurich, 1994.
	5	Daniel P. Friedman , Christopher T. Haynes , Mitchell Wand, Essentials of programming languages, MIT Press, Cambridge, MA, 1992
	6	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	7	Brian W. Kernighan , Dennis M. Ritchie, The C programming language, Prentice Hall Press, Upper Saddle River, NJ, 1989
	8	David Kranz , Norman Adams , Richard Kelsey , Jonathan Rees , Paul Hudak , James Philbin, ORBIT: an optimizing compiler for scheme, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.219-233, June 25-27, 1986, Palo Alto, California, United States
	9	{9} P. J. Landin. "An Abstract Machine for Designers of Computing Languages". In IFIP Congress, pages 438-439. North-Holland, 1965.
	10	P. J. Landin, The next 700 programming languages, Communications of the ACM, v.9 n.3, p.157-166, March 1966 [doi>10.1145/365230.365257]
	11	{11} Xavier Leroy. "The Caml Light System, Release 0.6 Documentation and User's Manual". Technical report, Projet Formel, INRIA-ENS, September 1993.
	12	{12} Michel Mauny. "Functional Programming using Caml Light". Technical report, Projet Formel, INRIA-ENS, September 1993.
	13	Robin Milner , Mads Tofte , Robert Harper, The Definition of Standard ML, MIT Press, Cambridge, MA, 1990
	14	{14} Open Software Foundation, Cambridge, MA, U.S.A. OSF Architecture-Neutral Distribution Format Rationale, June 1991.
	15	{15} Revised4 Report on the Algorithmic Language Scheme, November 1991.
	16	{16} Richard Stallman. Using and Porting GNU CC. Free Software Foundation, 1992.
	17	Guy L. Steele, Jr., Rabbit: A Compiler for Scheme, Massachusetts Institute of Technology, Cambridge, MA, 1978
	18	{18} Guy Lewis Steele Jr. "Compiler Optimization Based on Viewing LAMBDA As RENAME + GOTO". In Patrick Henry Winston and Richard Henry Brown, editors, AI: An MIT Perspective. MIT Press, Cambridge, Mass., 1980.
	19	Andrew S. Tanenbaum , Hans van Staveren , E. G. Keizer , Johan W. Stevenson, A practical tool kit for making portable compilers, Communications of the ACM, v.26 n.9, p.654-660, Sept. 1983 [doi>10.1145/358172.358182]
	20	{20} Mitchell Wand and Daniel P. Friedman. "Compiling Lambda Expressions Using Continuations and Factorizations". Journal of Computer Languages, 3:241-263, 1978.
	21	{21} P. Weis, M. V. Aponte, A. Laville, M. Mauny, and A. Suárez. "The CAML Reference Manual". Technical report, Projet Formel, INRIA-ENS, 1989. Version 2.6.