Re: Compilers in functional languages (summary) (Jonathan Bowen)
Fri, 11 Jun 1993 10:46:37 GMT

          From comp.compilers

Related articles
Compilers in functional languages (summary) (1993-06-09)
Re: Compilers in functional languages (summary) (1993-06-11)
| List of all articles for this month |

Newsgroups: comp.compilers
From: (Jonathan Bowen)
Keywords: functional, bibliography
Organization: Oxford University Computing Laboratory, UK
References: 93-06-028
Date: Fri, 11 Jun 1993 10:46:37 GMT

Dr. Robson,

In article 93-06-028 you summarised work in the area
of using functional programs for compilation. I am very interested in
this work (but missed the original article). I would be interested in
any papers you can send on your work. The following may be of interest
to you (and other comp.compilers readers).

A paper on compiling Occam directly into hardware using a compiler
written in Standard ML (specifically targetted to Field Programmable
Gate Arrays - FPGAs):

    author = {Page, I. and Luk, W.},
    title = {Compiling {Occam} into field-programmable gate arrays},
    editor = {Moore, W. and Luk, W.},
    booktitle = {FPGAs,
        Oxford Workshop on Field Programmable Logic and Applications},
    publisher = {Abingdon EE\&CS Books},
    address = {15 Harcourt Way, Abingdon OX14 1NV, UK},
    year = 1991,
    pages = {271-283}

Work building on this and attempting to prove such a compiling scheme
correct is included in:

    author = {{He Jifeng} and I. Page and J.P. Bowen},
    title = {Towards a provably correct hardware implementation of
    editor = {G.J. Milne and L. Pierre},
    booktitle = {Correct Hardware Design and Verification Methods,
        Proc.\ IFIP WG10.2 Advanced Research Working Conference,
        CHARME'93, Arles, France, 24--26 May 1993},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = 683
    pages = {214--225},
    year = 1993,
    other = {Based on ProCoS document [OU HJF 9]}

Work on using a functional (and logic programming) approach to
*de*compilation may be found in:

    author = {Bowen, J.P. and Breuer, P.T.},
    title = {Decompilation {\em is} the Efficient Enumeration of Types},
    editor = {Billaud, M. and others},
    booktitle = {Journ\'ees de Travail WSA'92 Analyse Statique},
    volume = {BIGRE 81--82},
    organization = {IRISA-Campus de Beaulieu},
    address = {F-35042 Rennes cedex, France},
    year = 1992,
    pages = {255-273}

    author = {Bowen, J.P. and Breuer, P.T.},
    title = {Decompilation},
    editor = {{van Zuylen}, H.},
    booktitle = {The REDO Compendium:
        Reverse Engineering for Software Maintenance},
    chapter = 10,
    pages = {131-138},
    publisher = {John Wiley \& Sons},
    year = 1993

A longer report on this work is available from <>:

{\em Decompilation: the Enumeration of Types and Grammars},
Peter Breuer and Jonathan Bowen.
Programming Research Group Technical Report PRG-TR-11-92,
pp28, May 1992.
Provisionally accepted by
  {\em ACM Transactions on Programming Languages and Systems (TOPLAS)}.

Jonathan Bowen
Oxford University Computing Laboratory, Programming Research Group
11 Keble Road, Oxford OX1 3QD, England.
Tel: +44-865-272574 (direct) or 273838 (general)
FAX: +44-865-272582 (direct) or 273839 (general)

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.