Implementing functional logic languages using multiple threads and stores

DOI10.1145/1016850.1016865MaRDI QIDQ5178026zbMATH OpenOpenAlexFDO

Authors Andrew Tolmach, Sergio Antoy, Marius Nita

Publication date 9 March 2015

Published in Proceedings of the ninth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1016850.1016865

zbMATH Keywords

functional logic languagesmulti-versioned storesnarrowingresiduation

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Towards a parallel virtual machine for functional logic programming
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 4043306
• Compiling multi-paradigm declarative programs into Prolog
• scientific article; zbMATH DE number 512893

Cited in

(5)

• Implementing encapsulated search for a lazy functional logic language
• Lazy context cloning for non-deterministic graph rewriting
• Extra variables can be eliminated from functional logic programs
• Towards a parallel virtual machine for functional logic programming
• Programming with narrowing: a tutorial

Describes a project that uses

Uses Software

• PAKCS

This page was built for publication: Implementing functional logic languages using multiple threads and stores

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