scientific article; zbMATH DE number 5007864

MaRDI QIDQ3372485zbMATH OpenFDO

Authors Bernd Braßel, Michael Hanus, Frank Huch

Publication date 21 February 2006

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/S04-01.html

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1088020
• scientific article; zbMATH DE number 4200180
• Logic Programming
• Dynamic detection of determinism in functional logic languages
• scientific article; zbMATH DE number 549960
• scientific article; zbMATH DE number 3957062
• scientific article; zbMATH DE number 2040977
• A functional logic for higher level reasoning about computation
• Semantic determinism and functional logic program properties
• Non-determinism analyses in a parallel-functional language

Cited in

(11)

• scientific article; zbMATH DE number 1696589 (Why is no real title available?)
• Reporting failures in functional logic programs
• Implementing relational specifications in a constraint functional logic language
• Purely functional lazy non-deterministic programming
• Transforming functional logic programs into monadic functional programs
• On a Tighter Integration of Functional and Logic Programming
• Default rules for Curry
• Non-determinism analyses in a parallel-functional language
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 1420822 (Why is no real title available?)
• Implementing a library for probabilistic programming using non-strict non-determinism

Describes a project that uses

Uses Software

• PAKCS

This page was built for publication:

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