An Experiment in Abstract Machine Design
β
STEPHAN DIEHL
π
Article
π
1997
π
John Wiley and Sons
π
English
β 410 KB
π 1 views
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 desi