Relating the implementation techniques of functional and functional logic languages

DOI10.1007/BF03037158MaRDI QIDQ685129zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 177789
• Lazy narrowing in a graph machine
• scientific article; zbMATH DE number 826303
• Evaluation strategies for functional logic programming
• Evaluation strategies for functional logic programming

Cites work

• scientific article; zbMATH DE number 4164127 (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 42964 (Why is no real title available?)
• scientific article; zbMATH DE number 177789 (Why is no real title available?)
• scientific article; zbMATH DE number 549960 (Why is no real title available?)
• Horn clause programs with polymorphic types: Semantics and resolution
• Kernel-LEAF: A logic plus functional language
• Logic programming with functions and predicates: The language Babel
• The relation between logic and functional languages: a survey

Cited in

(5)

• Implementing hybrid semantics: from functional to imperative
• scientific article; zbMATH DE number 826303 (Why is no real title available?)
• Evaluation strategies for functional logic programming
• Lazy narrowing in a graph machine
• scientific article; zbMATH DE number 177789 (Why is no real title available?)

Describes a project that uses

Uses Software

• Kernel-LEAF
• BABEL

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)