Summary: A Virtual Machine
for Functional Logic Computations #
Sergio Antoy 1 , Michael Hanus 2 , Jimeng Liu 1 , and Andrew Tolmach 1
1 Portland State University, Computer Science Dept.
P.O. Box 751, Portland, OR 97207, U.S.A.
{antoy,jimeng,apt}@cs.pdx.edu
2 Christian­Albrechts­Universit˜ at Kiel, Institut f˜ ur Informatik
Olshausenstr. 40, D­24098 Kiel, Germany.
mh@informatik.uni­kiel.de
Grelck et al. (Eds.): IFL 2004, LNCS 3474, pp. 108­125, 2005
c
# Springer­Verlag Berlin Heindelberg 2005
Abstract. We describe the architecture of a virtual machine for executing func­
tional 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.

Source: Antoy, Sergio - Department of Computer Science, Portland State University

Collections: Computer Technologies and Information Sciences