Towards a parallel virtual machine for functional logic programming

DOI10.4230/LIPICS.ICLP.2010.222MaRDI QIDQ2883096zbMATH OpenFDO

Authors Abdulla Alqaddoumi

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_6e04.html

zbMATH Keywords

non-determinismfunctional logic programmingterm rewriting systemneeded narrowingor-parallelismand-parallelism

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• A Virtual Machine for Functional Logic Computations
• Implementing functional logic languages using multiple threads and stores
• scientific article; zbMATH DE number 177789
• scientific article; zbMATH DE number 1688813
• Functional Logic Programming: From Theory to Curry

Cited in

(4)

• A Virtual Machine for Functional Logic Computations
• Parma—bridging the performance gap between imperative and logic programming
• scientific article; zbMATH DE number 5300323 (Why is no real title available?)
• Implementing functional logic languages using multiple threads and stores

This page was built for publication: Towards a parallel virtual machine for functional logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883096)