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:85 - 34 self

Documents Related by Co-Citation

477 Institutions: Abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
72 Types as theories – Joseph Goguen - 1991
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
111 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
99 Unifying functional, object-oriented and relational programming with logical semantics – Joseph A Goguen, Jose Meseguer - 1987
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
924 Categories for the working mathematician – S Mac Lane - 1971
85 Logical Support for Modularisation – Razvan Diaconescu , Joseph Goguen, Petros Stefaneas - 1993
475 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992