Categories, data types and imperative languages
Proceedings of a tutorial and workshop on Category theory and computer programming
A categorical unification algorithm
Proceedings of a tutorial and workshop on Category theory and computer programming
Semantics of infinite tree logic programming
Theoretical Computer Science
Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial algebras
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Communications of the ACM
Category theory for computing science
Category theory for computing science
Journal of the ACM (JACM)
Logical foundations of functional programming
Logical foundations of functional programming
Logical foundations of functional programming
Notions of computation and monads
Information and Computation
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
An algebraic semantics for structured transition systems and its application to logic programs
Theoretical Computer Science - Selected papers of the 7th Annual Symposium on theoretical aspects of computer science (STACS '90) Rouen, France, February 1990
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Denotational abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Forum: a multiple-conclusion specification logic
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Algebra of programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Theory of observables for logic programs
Information and Computation
Encapsulating Data in Logic Programming via Categorial Constraints
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Exercises in Coalgebraic Specification
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
A Fibrational Semantics for Logic Programs
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Logic Programming in Tau Categories
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
A Categorial Model for Logic Programs: Indexed Monoidal Categories
Proceedings of the REX Workshop on Sematics: Foundations and Applications
A Typed Lambda Calculus with Categorical Type Constructors
Category Theory and Computer Science
A Hyperdoctrinal View of Concurrent Constraint Programming
Proceedings of the REX Workshop on Sematics: Foundations and Applications
Algebraic specifications: some old history and new thoughts
Nordic Journal of Computing
A new framework for declarative programming
Theoretical Computer Science
Monads, predicates, and categorical logic programming
Monads, predicates, and categorical logic programming
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Premonoidal categories and notions of computation
Mathematical Structures in Computer Science
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
Coalgebraic semantics for parallel derivation strategies in logic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Coalgebraic semantics for derivations in logic programming
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Random: r-based analyzer for numerical domains
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
An algebraic presentation of predicate logic
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Numerical static analysis with Soot
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
Exploiting Parallelism in Coalgebraic Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 5.23 |
We develop an algebraic framework, Logic Programming Doctrines, for the syntax, proof theory, operational semantics and model theory of Horn Clause logic programming based on indexed premonoidal categories. Our aim is to provide a uniform framework for logic programming and its extensions capable of incorporating constraints, abstract data types, features imported from other programming language paradigms and a mathematical description of the state space in a declarative manner. We define a new way to embed information about data into logic programming derivations by building a sketch-like description of data structures directly into an indexed category of proofs. We give an algebraic axiomatization of bottom-up semantics in this general setting, describing categorical models as fixed points of a continuous operator.