Cover Image

Compiling natural semantics /

Bibliographic Details
Main Author:	Pettersson, Mikael
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 1999.
Series:	Lecture notes in computer science ; 1549.
Subjects:	Programming languages (Electronic computers) > Semantics. compilation. métalangage relationnel. spécification formelle. sémantique. Langages de programmation > Sémantique. Semantiek. Compiladores, processadores, interpretadores (computadores) Compilation (informatique) Electronic books. Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Table of Contents:

1. Introduction
2. Preliminaries
3. The Design of RML
4. Examples
5. Implementation Overview
6. Reducing Nondeterminism
7. Compiling Pattern Matching
8. Compiling Continuations
9. Simulating Tailcalls in C
10. Performance Evaluation
11. Concluding Remarks
A. The Definition of RML.