A domain-theoretic approach to functional and logic programming

DOI10.1017/S095679680000040XzbMath0817.68044OpenAlexW2008159174MaRDI QIDQ4764614

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) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• Miranda

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The relation between logic and functional languages: a survey
• R for Semantics
• The Semantics of Predicate Logic as a Programming Language
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

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