Towards an Algebraic Semantics for the Object Paradigm (1994)

Cached

Download Links

by Joseph A. Goguen , Razvan Diaconescu
Venue:In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types
Citations:89 - 34 self

Documents Related by Co-Citation

479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
73 Types as theories, in – J Goguen - 1991
274 An initial algebra approach to the specification, correctness, and implementation of abstract data types – Joseph A Goguen, James W Thatcher, Eric G Wagner - 1978
112 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
100 Unifying functional, object-oriented and relational programming with logical semantics – J A Goguen, J Meseguer - 1987
207 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
86 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993
481 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992