Joseph A. Goguen, Razvan Diaconescu  Home/Search
Context Related
| ucsd.edu/~goguen/projs/../pp...tasop.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucsd.edu/~goguen/projs/halg (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper surveys our current state of knowledge (and ignorance) on the use of hidden sorted algebra as a foundation for the object paradigm. Our main goal is to support equational reasoning about properties of concurrent systems of objects, because of its simple and ecient mechanisation. We show how equational speci cations can describe objects, inheritance and modules; our treatment of the latter topic emphasises the importance of reuse, and the r^ole of the so-called Satisfaction... (Update)
Cited by: More
An Algebraic Semantics for Gnome via a Translation to - Etoile Speci Cations (Correct)
Algebraic Treatment of Feature-oriented Systems - Gaston, Aiguier, Le Gall (2000) (Correct)
Stratified institutions and elementary homomorphisms - Aiguier, Diaconescu (Correct)
Similar documents (at the sentence level):
47.4%: Towards an Algebraic Semantics for the Object Paradigm - Goguen, Diaconescu (1994) (Correct)
8.2%: Situated Adaptive Software: Beyond the Object Paradigm - Goguen, Malcolm (1995) (Correct)
Active bibliography (related documents): More All
0.5: Semantics and Refinement for a Concurrent Object Oriented Language - Borba (1995) (Correct)
0.5: A Hidden Agenda - Goguen, Malcolm (2000) (Correct)
0.4: Introducing OBJ - Goguen, Winkler, Meseguer.. (1993) (Correct)
Similar documents based on text: More All
0.4: Proving Correctness Of Refinement And Implementation - Malcolm, Goguen (1996) (Correct)
0.3: Interconnection of Object Specifications - Malcolm (1996) (Correct)
0.3: A Hidden Herbrand Theorem: Combining the Object, Logic and .. - Goguen, Malcolm, Kemp (Correct)
Related documents from co-citation: More All
37: and JeanPierre Jouannaud (context) - Goguen, Winkler et al. - 1995
33: and Methodologies for Object-Oriented Algebraic Specification (context) - Diaconescu, Futatsugi et al. - 1998
27: Observational logic - Hennicker, Bidoit - 1999
BibTeX entry: (Update)
Joseph Goguen and Razvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Harmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 1--34. Springer, 1994. http://citeseer.ist.psu.edu/goguen94towards.html More
@incollection{ goguen94towards,
author = "J. A. Goguen and R. Diaconescu",
title = "Towards an Algebraic Semantics for the Object Paradigm",
booktitle = "{RECENT} trends in data type specification: workshop on specification of abstract data types: {COMPASS}: selected papers",
number = "785",
publisher = "Springer Verlag",
address = "Berlin, Germany",
year = "1994",
url = "citeseer.ist.psu.edu/goguen94towards.html" }
Citations (may not include all citations):232 Category Theory for Computing Science (context) - Barr, Wells - 1990
173 Order-sorted algebra I: Equational deduction for multiple in.. - Goguen, Meseguer - 1992
113 Functorial semantics of algebraic theories (context) - Lawvere - 1963
80 Introducing institutions (context) - Goguen, Burstall - 1984
74 and Jean-Pierre Jouannaud (context) - Goguen, Winkler et al. - 1993
74 the structure of abstract algebras (context) - Birkho - 1935
69 induction and computability (context) - Meseguer, Goguen - 1985
69 persistent interconnection and implementation of abstract mo.. (context) - Goguen, Meseguer - 1982
63 Institutions: Abstract model theory for speci cation and pro.. (context) - Goguen, Burstall - 1992
51 Principles of parameterized programming (context) - Goguen - 1989
42 Theorem Proving and Algebra (context) - Goguen - 1994
41 Mathematical Structures in Computer Science (context) - Goguen, manifesto - 1991
40 Information distribution aspects of design methodology (context) - Parnas - 1972
38 Rewriting systems (context) - Dershowitz, Jouannaud - 1990
37 Types as theories - Goguen - 1991
31 Logical support for modularisation - azvan, Joseph et al. - 1993
26 with logical semantics (context) - Goguen, Meseguer et al. - 1987
26 Hyperprogramming: A formal approach to software environments - Goguen - 1990
22 Module composition and system design for the object paradigm (context) - Goguen, Socorro - 1994
19 the Categorial Analysis of Logic (context) - Goldblatt - 1979
18 On types and FOOPS (context) - Goguen, Wolfram - 1991
18 a speci cation language (context) - Burstall, Goguen et al. - 1979
16 Speci cations in an arbitrary institution (context) - Sannella, Tarlecki - 1988
16 Graduate Texts in Mathematics (context) - Manes, Springer - 1976
14 a metalogical framework based on equational logic (context) - Goguen, Stevens et al. - 1992
13 Proving and rewriting (context) - Goguen - 1990
12 Behavioural validity of conditional equations in abstract da.. (context) - Reichel - 1985
11 and Evaluation of a Declarative Object Oriented Language (context) - Socorro, Implementation - 1993
6 Mechanised theorem proving with 2OBJ: A tutorial introductio.. (context) - Stevens, Goguen - 1993
6 a unifying concept for initial and nal speci cations (context) - Reichel - 1981
6 The logic of Horn clauses is equational (context) - azvan - 1993
2 Submitted to special issue of Theoretical Computer Science (context) - Goguen, Kemp et al. - 1993
1 OOZE: An Object Oriented Speci cation Language (context) - Alencar - 1994
1 Speci cation in OOZE with examples (context) - Alencar, Goguen - 1993
1 An algebraic approach to re nement (context) - Goguen - 1990
1 Laboratory for Foundations of Computer Science (context) - Burstall, azvan et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ucsd.edu/~goguen/projs/halg.html):
A Protocol for Distributed Cooperative Work - Goguen, Rosu (1999) (Correct)
Circular Coinduction - Rosu, Goguen (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC