Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations (1992)

Cached

Download Links

by Joseph A. Goguen
Venue:Theoretical Computer Science
Citations:208 - 33 self

Documents Related by Co-Citation

43 Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation and – Joseph Goguen, Jose Meseguer - 1987
273 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
98 Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics – J A Goguen, J Meseguer - 1987
123 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996
100 EQLOG: equality, types and generic modules for logic programming – J Goguen, J Meseguer
34 Operational semantics for order-sorted algebra – J A Goguen, J-P Jouannaud, J Meseguer
45 Solving the Inheritance Anomaly in Concurrent ObjectOriented Programming – J Meseguer - 1993
473 Institutions: abstract model theory for specification and programming – J Goguen, R Burstall - 1992
106 Introducing OBJ3 – Joseph A Goguen, Timothy Winkler - 1988
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
140 Fundamentals of Algebraic Specification 1: Equations and Initial Semantics – H Ehrig, B Mahr
42 Models and equality for logical programming РJoseph Goguen, Jos̩ Meseguer - 1987
42 A characterisation of computable data types by means of a finite equational specification method – J A Bergstra, J V Tucker - 1980
34 Parallel programming in Maude – J Meseguer, T Winkler
135 A Logical Theory of Concurrent Objects and its Realization in the Maude Language – J Meseguer - 1992
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
46 Jos̩ Meseguer, Kokichi Futatsugi and JeanPierre Jouannaud. Introducing OBJ РJoseph Goguen, Timothy Winkler - 2000
65 Universal Realization, Persistent Interconnection and Implementation of Abstract Modules – Joseph Goguen, Jose Meseguer - 1982
72 Types as theories – Joseph Goguen - 1991