Skip to main content
SpringerLink
Log in
Book cover

Compiling Natural Semantics

  • Book
  • © 1999

Overview

Authors:
  1. Mikael Pettersson

    1. Computing Science Department, Uppsala University, Uppsala, Sweden

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1549)

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

Access this book

Log in via an institution
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Download chapter PDF

  2. 1 Introduction

    • Mikael Pettersson
    Pages 1-4

  3. 2 Preliminaries

    • Mikael Pettersson
    Pages 5-15

  4. 3 The Design of RML

    • Mikael Pettersson
    Pages 17-33

  5. 4 Examples

    • Mikael Pettersson
    Pages 35-56

  6. 5 Implementation Overview

    • Mikael Pettersson
    Pages 57-61

  7. 6 Reducing Nondeterminism

    • Mikael Pettersson
    Pages 63-84

  8. 7 Compiling Pattern Matching

    • Mikael Pettersson
    Pages 85-109

  9. 8 Compiling Continuations

    • Mikael Pettersson
    Pages 111-126

  10. 9 Simulating Tailcalls in C

    • Mikael Pettersson
    Pages 127-152

  11. 10 Performance Evaluation

    • Mikael Pettersson
    Pages 153-168

  12. 11. Concluding Remarks

    • Mikael Pettersson
    Pages 169-172

  13. A. The Definition of RML

    • Mikael Pettersson
    Pages 173-221

  14. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications.
This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches.

Authors and Affiliations

  • Computing Science Department, Uppsala University, Uppsala, Sweden

    Mikael Pettersson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation