A Virtual Machine for Functional Logic Computations (2005)
Cached
Download Links
| Venue: | In Proc. of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004 |
| Citations: | 10 - 9 self |
BibTeX
@INPROCEEDINGS{Antoy05avirtual,
author = {Sergio Antoy and Michael Hanus and Jimeng Liu and Andrew Tolmach},
title = {A Virtual Machine for Functional Logic Computations},
booktitle = {In Proc. of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004},
year = {2005},
pages = {108--125},
publisher = {Springer LNCS}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the operational completeness of non-deterministic programs by concurrently executing a pool of independent computations. Each computation executes only root-needed sequential narrowing steps. We describe the machine’s architecture and instruction set, and show how to compile overlapping inductively sequential programs to sequences of machine instructions. The machine has been implemented in Java and in Standard ML. 1
