On the algebraic structure of declarative programming languages
type: Item
instance of: scholarly article
title: On the algebraic structure of declarative programming languages
zbMATH Open document ID: 1187.68121
author: Gianluca Amato
author: James Lipton
author: Robert McGrail
published in: Theoretical Computer Science
publication date: 2009-11-04T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5624944
zbMATH Keywords: categorical logic
zbMATH Keywords: indexed categories
zbMATH Keywords: logic programming
zbMATH Keywords: abstract data types
zbMATH Keywords: constraint logic programming
describes a project that uses: CCSL
describes a project that uses: Lolli
describes a project that uses: HiLog
describes a project that uses: Haskell
describes a project that uses: Hiord
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.07.038
OpenAlex ID: W1964964089
cites work: Indexed Categories and Bottom-Up Semantics of Logic Programs
cites work: Q3999603
cites work: Functorial polymorphism
cites work: A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
cites work: Q3997112
cites work: Q5701018
cites work: Q4331824
cites work: Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
cites work: HiLog: A foundation for higher-order logic programming
cites work: Logic Programming
cites work: A theory of observables for logic programs
cites work: An algebraic semantics for structured transition systems and its application to logic programs
cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
cites work: Q4474844
cites work: A new framework for declarative programming
cites work: Q3995720
cites work: Linear logic
cites work: On the unity of logic
cites work: Q3993363
cites work: Institutions: abstract model theory for specification and programming
cites work: Hidden coinduction: behavioural correctness proofs for objects
cites work: Q3716279
cites work: Q3784044
cites work: The integration of functions into logic programming: From theory to practice
cites work: Logic programming in a fragment of intuitionistic linear logic
cites work: Q4692468
cites work: Categorical logic and type theory
cites work: Semantics of infinite tree logic programming
cites work: Data Type Specification: Parameterization and the Power of Specification Techniques
cites work: An alternative linear semantics for allowed logic programs
cites work: Q3727946
cites work: Adjointness in Foundations
cites work: Q5642701
cites work: Q3156508
cites work: Constraint Logic Programming with Hereditary Harrop formulas
cites work: Q4536606
cites work: Q4217943
cites work: Q3339245
cites work: Q5639839
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
cites work: Forum: A multiple-conclusion specification logic
cites work: Uniform proofs as a foundation for logic programming
cites work: Notions of computation and monads
cites work: A proof procedure for the logic of hereditary Harrop formulas
cites work: Higher-order Horn clauses
cites work: Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
cites work: Q4414308
cites work: Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings
cites work: Premonoidal categories and notions of computation
cites work: A Uniform Proof-theoretic Investigation of Linear Logic Programming
cites work: Q3773301
cites work: Q4391450
cites work: The coalgebraic class specification language CCSL
cites work: Q4725721
cites work: HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION

On the algebraic structure of declarative programming languages (cites work)
cites work: The Semantics of Predicate Logic as a Programming Language

On the algebraic structure of declarative programming languages (cites work)
cites work: Q4654727

On the algebraic structure of declarative programming languages (DOI)
DOI: 10.1016/J.TCS.2009.07.038