Re: Compilers in functional languages (summary)

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):


@inproceedings{jpb:Page91,
    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:


@inproceedings{jpb:HPB93,
    author = {{He Jifeng} and I. Page and J.P. Bowen},
    title = {Towards a provably correct hardware implementation of
        {Occam}},
    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:


@inproceedings{jpb:BB92a,
    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}
}


@incollection{jpb:BB92,
    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 <library@comlab.ox.ac.uk>:


{\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)
Email: Jonathan.Bowen@comlab.ox.ac.uk
--

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