✦ LIBER ✦

An Experiment in Abstract Machine Design

✍ Scribed by STEPHAN DIEHL

Publisher: John Wiley and Sons
Year: 1997
Tongue: English
Weight: 410 KB
Volume: 27
Category: Article
ISSN: 0038-0644
DOI: 10.1002/(sici)1097-024x(199701)27:1<49::aid-spe73>3.0.co;2-d

No coin nor oath required. For personal study only.

✦ Synopsis

In this article we present Typed Feature Structures as an extension of Prolog, and show how to come up with a compilation scheme and an abstract machine using a design methodology based on partial evaluation. First we define the transformations used by our partial evaluator. Then we present the design methodology which we will use later. Next, we clarify the notion of Typed Feature Structures that underlies our work, and formally define the unification of such structures. Based on this definition, we develop a unification procedure with explicit heap representation. By partially evaluating this procedure with respect to some example programs, we show how to come up with the machine instructions and translation schemes. Finally, we briefly address coreferences, cyclic structures and the unification of types.

📜 SIMILAR VOLUMES

An Experiment in Criticism

✍ C. S. Lewis 📂 Fiction 📅 2013;2014 🏛 HarperCollins;HarperOne 🌐 en-US ⚖ 82 KB 👁 2 views

Why do we read literature and how do we judge it? C. S. Lewis's classic *An Experiment in Criticism* springs from the conviction that literature exists for the joy of the reader and that books should be judged by the kind of reading they invite. He argues that "good reading," like moral action or re

An Experiment in Love

✍ Hilary Mantel 📂 Fiction 📅 1995;2007 🏛 Henry Holt and Co.;Picador 🌐 English ⚖ 217 KB 👁 2 views

A _New York Times Book Review_ Notable Book of the Year It was the year after Chappaquiddick, and all spring Carmel McBain had watery dreams about the disaster. Now she, Karina, and Julianne were escaping the dreary English countryside for a London University hall of residence. Interspersing ac

An experiment in publishing

✍ W. J. Whelan 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB

Readers of BioEssays are now familiar with the thematic issues, of which we include one in each volume of six issues. The Cytoskeleton was the subject in the October 1987 issue, while Protein Engineering and Production is scheduled for February 1988. We are pleased by the reception that this type of

Missing Observations in Designed Experim

Missing Observations in Designed Experiments Revisited

✍ Radosław Kala 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB

An experiment in teacher-psychologist re

An experiment in teacher-psychologist relations

✍ Ellen V. Piers 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 233 KB

Designs for restricted exploration in mi

Designs for restricted exploration in mixture experiments

✍ B. S. Goel 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 427 KB