This paper describes a fundamentally different approach to the implementation of a functional logic language, namely a virtual machine for functional logic ...

We have described the architecture of a virtual machine for the execution of functional logic computations. The machine's design is based on solid theoretical ...

We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it ...

Abstract. We describe the architecture of a virtual machine for exe- cuting functional logic programming languages. A distinguishing feature.

We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it ...

We describe the machine's architecture and instruction set; and show how to compile overlapping inductively sequential pro- grams, represented as definitional ...

This work describes the architecture of a virtual machine for executing functional logic programming languages and shows how to compile overlapping ...

In this paper we describe the undergoing research ef- forts to build a parallel virtual machine that performs functional logic computations. The virtual machine ...

A Virtual Machine for Functional Logic Computations. Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew Tolmach. Pages 108-125. Download chapter PDF · Source-Based ...

In this paper we describe the undergoing research efforts to build a parallel virtual machine that performs functional logic computations. The virtual machine ...