Relating the implementation techniques of functional and functional logic languages

DOI10.1007/BF03037158zbMath0774.68021MaRDI QIDQ685129

Rita Loogen

Publication date: 30 September 1993

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

zbMATH Keywords

reductionformal specificationnarrowingabstract machinesdeclarative programming languagesimplementation techniques

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• BABEL
• Kernel-LEAF

Cites Work

• Horn clause programs with polymorphic types: Semantics and resolution
• Kernel-LEAF: A logic plus functional language
• The relation between logic and functional languages: a survey
• Logic programming with functions and predicates: The language Babel
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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