S. L. Peyton Jones
Skip Abstract Section
Abstract
FLIC is a Functional Language Intermediate Code, intended to provide a common intermediate language between diverse implementations of functional languages, including parallel ones. This paper gives a formal definition of FLIC's syntax and semantics, in the hope that its existence may encourage greater exchange of programs and benchmarks between research groups.
- 1. Simon L. Peyton Jones, Chris Clack, Jon Salkild, and Mark Hardie., "GRIP - a high-performance architecture for parallel graph reduction", pp. 98-112 in Proc IFIP conference on Functional Programming Languages and Computer Architecture, Portland, ed. G. Kahn, Springer Verlag LNCS 274 (Sept. 1987). Google Scholar
Digital Library
- 2. Tony Field, "The compilation of FP/M programs into conventional machine code", Imperial College (June 1985).Google Scholar
- 3. J. R. Gurd, C. C. Kirkham, and I. Watson, "The Manchester prototype dataflow computer", CACM 28(1) pp. 34-52 (Jan. 1985). Google ScholarDigital Library
- 4. J. R. W. Glauert, J. R. Kennaway, and M. R. Sleep, "Specification of Dactl", University of East Anglia (Dec. 1987).Google Scholar
- 5. Philip Wadler, "A splitting headache and its cure", Programming research group, Oxford (Jan. 1985).Google Scholar
- 6. Simon L. Peyton Jones, The implementation of functional programming languages, Prentice Hall (1987). Google ScholarDigital Library
Index Terms
- FLIC—a functional language intermediate code
Recommendations
Compiling a functional language
LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programmingThis paper summarizes my experience in implementing a compiler for a functional language. The language is ML(1) [Milner 84] and the compiler was first implemented in 1980 as a personal project when I was a postgraduate student at the University of ...
Comments