Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Virtual Machine for Functional Logic Computations
 

Summary: A Virtual Machine
for Functional Logic Computations
Sergio Antoy1
, Michael Hanus2
, Jimeng Liu1
, and Andrew Tolmach1
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

  

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

 

Collections: Computer Technologies and Information Sciences