Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!keele!nott-cs!ucl-cs!news
From: D.Parrott@cs.ucl.ac.uk
Newsgroups: comp.lang.functional
Subject: Intermediate Codes for Functional Languages
Message-ID: <1316@ucl-cs.uucp>
Date: 4 Dec 90 11:41:21 GMT
Sender: news@cs.ucl.ac.uk
Lines: 48


FLIC is probably the most universal of the intermediate codes because
it was designed to be.  The following paper is the definitive
document:

%A S.L. Peyton-Jones
%A M.S. Joy
%T FLIC - A Functional Language Intermediate Code
%R UCL Internal Note 2048
%O Also Warwick University Research Report 148 (as part of the
   Functional Language Implementation Project, FLIP) and Glasgow
   University Departmental Report
%D August 1989


You also might like to consider:

%A Zena Ariola
%A Arvind
%T P-TAC: A Parallel Intermediate Language 
%I ACM
%J Functional Programming Languages and Computer Architecture
   Conference Proceedings
%P 230--242
%D September 1989

which deals with an intermediate code for parallel, three address
representations of functional programs, and:

%A J.R.W. Gluert
%A J.R. Kennaway
%A M.R. Sleep
%T DACTL: A computational model and compiler target
   	  language based on graph reduction
%J ICL Technical Journal
%V 5
%N 3
%D 1987

DACTL has similar aims to FLIC but is not restricted to functional
programming.

We are using FLIC at UCL for various stages of the compiler design
process, it is available as an optional output from the Chalmers Lazy
ML compiler and the Glasgow Haskell compiler (because the latter is
built on top of the former!).

Dave.


Brought to you by Super Global Mega Corp .com