scispace - formally typeset
Search or ask a question

Showing papers by "Juris Hartmanis published in 1999"


Book
11 Jun 1999
TL;DR: The Definition of RML was defined as follows: Compiling Pattern Matching, Reducing Nondeterminism, Compiling Continuations, and Simulating Tailcalls in C.
Abstract: 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.

93 citations




Book ChapterDOI
01 Jan 1999

1 citations


Book ChapterDOI
01 Jan 1999

1 citations