A domain-theoretic approach to functional and logic programming

DOI10.1017/S095679680000040XMaRDI QIDQ4764614zbMATH OpenOpenAlexFDO

Authors Frank S. K. Silbermann, Bharat Jayaraman

Publication date 4 May 1995

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s095679680000040x

zbMATH Keywords

domain theorylogic programming languagesset abstraction

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 970727
• On a Tighter Integration of Functional and Logic Programming
• scientific article; zbMATH DE number 4043306
• scientific article; zbMATH DE number 986251

Cites work

• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• R for Semantics
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The relation between logic and functional languages: a survey
• The Semantics of Predicate Logic as a Programming Language

Cited in

(12)

• Domains for logic programming
• scientific article; zbMATH DE number 4180815 (Why is no real title available?)
• Domain-Theoretic Foundations of Functional Programming
• On a Tighter Integration of Functional and Logic Programming
• scientific article; zbMATH DE number 4037165 (Why is no real title available?)
• Logic and functional programming by retractions : operational semantics
• scientific article; zbMATH DE number 408794 (Why is no real title available?)
• scientific article; zbMATH DE number 1332654 (Why is no real title available?)
• scientific article; zbMATH DE number 1479608 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• Programming Languages and Systems
• scientific article; zbMATH DE number 970727 (Why is no real title available?)

Describes a project that uses

Uses Software

• Miranda

This page was built for publication: A domain-theoretic approach to functional and logic programming

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