@INPROCEEDINGS{AntoyHanusLiuTolmach04IFL ,author={S. Antoy and M. Hanus and J. Liu and A. Tolmach} ,title={A Virtual Machine for Functional Logic Computations} ,year={2005} ,month={Sept.} ,address={Lubeck, Germany} ,publisher={Springer LNCS 3474} ,booktitle = "Proc.\ of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004)" ,pages = "108-125" ,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.} }