Dynamic detection of determinism in functional logic languages

DOI10.1016/0304-3975(94)00225-8zbMath0873.68022OpenAlexW1983814902MaRDI QIDQ673493

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)

Uses Software

• BABEL

Cites Work

• The relation between logic and functional languages: a survey
• Logic programming with functions and predicates: The language Babel
• Lazy narrowing in a graph machine
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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