Path: utzoo!attcan!uunet!lll-winken!xanth!mcnc!decvax!ima!esegue!compilers-sender From: nick@lfcs.ed.ac.uk (Nick Rothwell) Newsgroups: comp.compilers Subject: Re: Compiling Functional Languages for Parallel Architectures Keywords: Parallelism, Compiling, O-O/Functional Lang., Grain Adaption Message-ID: <1989Aug14.194901.10886@esegue.uucp> Date: 14 Aug 89 19:49:01 GMT References: <1989Aug12.011151.2154@esegue.uucp> Sender: compilers-sender@esegue.uucp Reply-To: nick@lfcs.ed.ac.uk (Nick Rothwell) Organization: LFCS Enya Admiration Society Lines: 26 Approved: compilers@esegue.segue.bos.ma.us In-reply-to: birger@diku.dk (Birger Andersen) In article <1989Aug12.011151.2154@esegue.uucp>, birger@diku (Birger Andersen) writes: >I am working on a parallel object-oriented language with functional parts in >it. You will probably have to clarify what this means... It's fairly obvious what a functional language is, but "object oriented with functional parts" is less clear. If you're interested in functional languages, there's a lot of literature on graph reduction, combinator representation, and so on. But, these are fairly specialised techniques for the pure functional languages, and don't generalise to other kinds of language. Alternatively, you could read my Ph.D. thesis, which detailed a compiler for parallel functional and logic languages to run on a shared-memory machine, using a symbolic intermediate code. The compiler was largely responsible for managing parallelism by detecting various kinds of tail recursion and parallel tasks, while trying to reduce the risk of "process explosion". Nick. -- Nick Rothwell, Laboratory for Foundations of Computer Science, Edinburgh. nick@lfcs.ed.ac.uk!mcvax!ukc!lfcs!nick -- Send compilers articles to compilers@ima.isc.com or, perhaps, Levine@YALE.EDU { decvax | harvard | yale | bbn }!ima. Meta-mail to ima!compilers-request. Please send responses to the author of the message, not the poster.