S.L. Peyton Jones. FLIC - a Functional language intermediate code. In SIGPLAN Notices, 28(8):30-48, 1988.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....higher order functional language which is representative of a class of modern functional programming languages and will be used throughout the thesis. It is a common observation that the syntax of modern high level functional programming languages are sugared versions of the lambda calculus ( 8] [67]) We view our analysis as being performed at the high level expression oriented source code, not at low level target code. This view is more portable, though the other view has the possible advantage being able to use more traditional compiler optimization techniques. Because the information is ....

S.L. Peyton Jones. FLIC - a Functional language intermediate code. In SIGPLAN Notices, 28(8):30-48, 1988.

.... as described in [Peyt92] The language FLIC (Functional Language Intermediate Code) proposed by Peyton Jones and Joy has a similar representation for case expressions except that only the constructor names are represented by small integers and their variable subpatterns are not compiled out [PeJo90, PeLe91] ffl Extensive application of the parallel programming technology of Trinder et al. [THLP98] A wealth of experience has been built from using evaluation strategies in small sized programs where the actual workings of the technology has been explored and in the parallelisation of the ....

SL Peyton Jones, MS Joy, FLIC---a Functional Language Intermediate Code. Research Report UW-DCS-RR-148, Department of Computer Science, University of Warwick, 1990.

.... nor any canonical program. Strachey s law is one aspect of what is generally called referential transparency [26] For the remainder of this paper we will use Haskell notation to denote H types and programs. One might view H as a core functional language of about the same level as FLIC [22]; translations from the level of Haskell to FLIC or H are well known. We will usually omit type information from terms. We will reason about contextual equality in the informal way exemplified by Bird and Wadler and implicitly by appeal to the properties stated above. Statement and proof of these ....

Simon L. Peyton Jones. FLIC---a functional language intermediate code. ACM SIGPLAN Notices, 23(8):30-- 48, August 1988.

....of combinators in the midst of reduction. The operation of the machine is described using state transitions of the form: PC, CF, Stack, Heap ) PC , CF , Stack , Heap 3 A TIM Implementation We wrote a compiler to translate programs written in the Functional Language Intermediate Code, FLIC [9] into TIM code. This compiler follows the scheme outlined by Fairbairn and Wray [3] except in the compilation of structured types. The treatment of structured types in FLIC is fundamentally different from their treatment in TIM. In FLIC they are represented as tagged tuples and case analysis and ....

S. L. Peyton Jones. FLIC -- a functional language intermediate code. ACM SIGPLAN Notices, 23(8):30--48, August 1988.

....simulators were written; the first was written in LML, a functional language, and the second was written in Pascal 1 . The simulators both work in the same way; which is now described. The simulators use concurrent interpreters to simulate parallel evaluation. They both operate on FLIC programs [90]. FLIC is essentially a sugared lambda calculus, with local definitions and efficient data structure operations. FLIC programs are produced from LML programs via an LML compiler. Thus although programs are shown in a Miranda style throughout this thesis, they were translated into LML in order to ....

S L Peyton Jones. FLIC -- A functional language intermediate code. SIGPLAN Notices, 23(8), 1988.

....and the performance of a simulated parallel implementation investigated. The parallel simulation is for a shared memory architecture that falls within the CRCW PRAM category. The implementation method is combinator graph reduction. Input to the reducer is the low level functional language, FLIC [14], which is first of all translated to an acyclic graph representing an equivalent lambda expression. This graph also contains primitives (integers, reals and sum products) and operators (which broadly correspond to the FLIC set of operators) together with the Y combinator to indicate recursion. ....

S.L. Peyton Jones and M.S. Joy, FLIC -- a Functional Language Intermediate Code, Research Report 148, Department of Computer Science, University of Warwick, Coventry, 1989.

No context found.

SL Peyton Jones [1988], "FLIC - a functional language intermediate code," SIGPLAN Notices 23.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC