Skip to main content
SpringerLink
Log in
Book cover

Functional Programming, Glasgow 1991 pp 158–163Cite as

Generating More Practical Compilers by Partial Evaluation

  • Conference paper

  • 68 Accesses

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

Given an abstract machine code specified denotationally as a set of combinators, and given a semantics for a programming language in terms of these combinators, this paper shows how to automatically generate native-code compilers.

Supported by the Norwegian Government

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Lennart Augustsson and Thomas Johnsson. Lazy ML user’s manual Dept. of Computer Science, Chalmers University of Technology, Gøteborg, Sweden, 1990.

    Google Scholar 

  2. Deryck F. Brown, Hermano Moura, and David A. Watt. Towards a realistic semantics-directed compiler generator. Glasgow Workshops in Functional Programming, Draft Proceedings, pages 59–74, 1991.

    Google Scholar 

  3. Carsten Kehler Hoist. Program specialization for compiler generation. Master’s thesis, DIKU, University of Copenhagen, 1989.

    Google Scholar 

  4. N.D. Jones, P.Sestoft, and H. S0ndergaard. Mix: A self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation, pages 9–50, 1989.

    Google Scholar 

  5. P. D. Mosses. Sis — Semantics Implementation System, Reference Manual and User Guide. DAIMI MD - 30, Computer Scince Department, Århus University, Denmark, 1979.

    Google Scholar 

  6. Peter Sestoft. Automatic call unfolding in a partial evaluator. IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, pages 485–506, 1988.

    Google Scholar 

  7. Mitchell Wand. From inerpreter to compilers: A representational derivation. Springer Lecture Notes in Computer Science, pages 306–324, 1985.

    Google Scholar 

  8. Y.Futamura. Partial evaluation of computation process - an approach to a compiler-compiler. System, Computers, Controls, pages 45–50, 1971.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, University of Glasgow, 17 Lilybank Gdns, Glasgow, G12 8QQ, UK

    Rogardt Heldal

Authors
  1. Rogardt Heldal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, The University, Glasgow, G12 8QQ, Scotland

    Rogardt Heldal BSc , Carsten Kehler Holst cand. Scient.  & Philip Wadler PhD ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1992 British Computer Society

About this paper

Cite this paper

Heldal, R. (1992). Generating More Practical Compilers by Partial Evaluation. In: Heldal, R., Holst, C.K., Wadler, P. (eds) Functional Programming, Glasgow 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3196-0_13

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3196-0_13

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19760-7

  • Online ISBN: 978-1-4471-3196-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation