Dynamic detection of determinism in functional logic languages

DOI10.1016/0304-3975(94)00225-8MaRDI QIDQ673493zbMATH OpenOpenAlexFDO

Authors Rita Loogen, Stephan M. Winkler

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)00225-8

zbMATH Keywords

functional logic languages

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 549960
• scientific article; zbMATH DE number 2040977
• scientific article; zbMATH DE number 3956406
• Semantic determinism and functional logic program properties

Cites work

• scientific article; zbMATH DE number 4164127 (Why is no real title available?)
• scientific article; zbMATH DE number 3938563 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 4043306 (Why is no real title available?)
• scientific article; zbMATH DE number 549960 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Lazy narrowing in a graph machine
• Logic programming with functions and predicates: The language Babel
• The relation between logic and functional languages: a survey

Cited in

(8)

• scientific article; zbMATH DE number 5007864 (Why is no real title available?)
• scientific article; zbMATH DE number 1942463 (Why is no real title available?)
• scientific article; zbMATH DE number 2040977 (Why is no real title available?)
• Regular dynamic logic is not interpretable in deterministic context-free dynamic logic
• Logic Programming
• Semantic determinism and functional logic program properties
• scientific article; zbMATH DE number 3956406 (Why is no real title available?)
• Implementing dynamic-cut in \(\mathcal{T}OY\)

Describes a project that uses

Uses Software

• BABEL

This page was built for publication: Dynamic detection of determinism in functional logic languages

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