Relating the implementation techniques of functional and functional logic languages

DOI10.1007/BF03037158zbMATH Open0774.68021MaRDI QIDQ685129FDOQ685129

Rita Loogen

Publication date: 30 September 1993

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

reductionformal specificationabstract machinesnarrowingdeclarative programming languagesimplementation techniques

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Logic programming with functions and predicates: The language Babel
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kernel-LEAF: A logic plus functional language
• 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?)
• Horn clause programs with polymorphic types: Semantics and resolution
• Title not available (Why is that?)

Cited In (3)

• Implementing hybrid semantics: from functional to imperative
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• BABEL
• Kernel-LEAF

   Recommendations

• Title not available (Why is that?) 👍 👎
• Lazy narrowing in a graph machine 👍 👎
• Title not available (Why is that?) 👍 👎
• Evaluation strategies for functional logic programming 👍 👎
• Evaluation strategies for functional logic programming 👍 👎

This page was built for publication: Relating the implementation techniques of functional and functional logic languages

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