A new framework for declarative programming

DOI10.1016/S0304-3975(01)00308-5zbMath1028.68023MaRDI QIDQ1399960

James Lipton, Stacy E. Finkelstein, Peter J. Freyd

Publication date: 30 July 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

weak hereditarily Harrop logic programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (3)

Declarative Compilation for Constraint Logic Programming ⋮ Constraint logic programming with a relational machine ⋮ On the algebraic structure of declarative programming languages

Uses Software

• BABEL
• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the unity of logic
• Notions of computation and monads
• A polymorphic type system for Prolog
• A functional theory of exceptions
• Declarative modeling of the operational behavior of logic languages
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• Extensional PERs
• An algebraic semantics for structured transition systems and its application to logic programs
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• A compositional semantics for logic programs
• Logic programming in a fragment of intuitionistic linear logic
• Cartesian logic
• A model-theoretic reconstruction of the operational semantics of logic programs
• A theory of observables for logic programs
• Negation and constraint logic programming
• Uniform proofs as a foundation for logic programming
• Indexed Categories and Bottom-Up Semantics of Logic Programs
• Higher-order Horn clauses
• Logic programming with functions and predicates: The language Babel
• Abstract interpretation and application to logic programs
• The Semantics of Predicate Logic as a Programming Language
• Comprehending monads
• A Uniform Proof-theoretic Investigation of Linear Logic Programming
• Categories for Types
• The s-semantics approach: Theory and applications
• A logical analysis of modules in logic programming

This page was built for publication: A new framework for declarative programming