Dynamic detection of determinism in functional logic languages

DOI10.1016/0304-3975(94)00225-8zbMATH Open0873.68022OpenAlexW1983814902MaRDI QIDQ673493FDOQ673493

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

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

zbMATH Keywords

functional logic languages

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Logic programming with functions and predicates: The language Babel
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The relation between logic and functional languages: a survey
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lazy narrowing in a graph machine

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Regular dynamic logic is not interpretable in deterministic context-free dynamic logic
• Logic Programming
• Semantic determinism and functional logic program properties
• Title not available (Why is that?)
• Implementing dynamic-cut in \(\mathcal{T}OY\)

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)