Category-based Semantics for Equational and Constraint Logic Programming (1994)

Cached

Download Links

by Razvan Diaconescu
Citations:24 - 10 self

Documents Related by Co-Citation

474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
33 Theorem Proving and Algebra – Joseph Goguen - 1994
32 and Răzvan Diaconescu. An Oxford survey of order sorted algebra – Joseph Goguen - 1994
100 EQLOG: equality, types and generic modules for logic programming – J Goguen, J Meseguer
42 Models and equality for logical programming – Joseph Goguen, José Meseguer - 1987
85 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
177 On the structure of abstract algebras – Garrett Birkhoff - 1935
17 The logic of Horn clauses is equational – R Diaconescu - 1993
13 A Category-based Equational Logic Semantics to Constraint Programming – Razvan Diaconescu - 1996
930 Categories for the Working Mathematician – S Mac Lane - 1971
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
274 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
24 Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach – Rod - 1994
98 Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics – J A Goguen, J Meseguer - 1987
13 Completeness of Category-Based Equational Deduction – Razvan Diaconescu - 1995
72 Types as theories – Joseph Goguen - 1991