An encoding of partial algebras as total algebras

Cached

Download Links

by Răzvan Diaconescu
Venue:Information Processing Letters
Citations:3 - 2 self

Documents Related by Co-Citation

34 Relating CASL with Other Specification Languages: the Institution Level – Till Mossakowski - 2000
24 and Andrzej Tarlecki. Specifications in an arbitrary institution – Donald Sannella - 1988
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
41 Institution-independent Model Theory – R Diaconescu - 2008
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
168 General logics – José Meseguer - 1989
930 Categories for the Working Mathematician – S Mac Lane - 1971
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
2 Verifying design with proof scores – Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata - 2005
1 and Kokichi Futatsugi. Simulation-based verification for invariant properties in the OTS/CafeOBJ method – Kazuhiro Ogata
17 The logic of Horn clauses is equational – R Diaconescu - 1993
53 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
72 Types as theories – Joseph Goguen - 1991
31 On the Existence of Free Models in Abstract Algebraic Institutions – A Tarlecki - 1985
22 Quasi-Varieties in Abstract Algebraic Institutions – A Tarlecki - 1986
33 CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification – R Diaconescu, K Futatsugi - 1998
42 Models and equality for logical programming – Joseph Goguen, José Meseguer - 1987
100 EQLOG: equality, types and generic modules for logic programming – J Goguen, J Meseguer