Download:
|
by Joseph A. Goguen, Razvan Diaconescu
In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types
ftp://ftp.imar.ro/download/diacon/tasop.ps.gz
Add To MetaCart
Abstract:
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 efficient mechanisation. We show how equational specifications can describe objects, inheritance and modules; our treatment of the latter topic emphasises the importance of reuse, and the role of the so-called Satisfaction Condition. We then consider how to prove things about objects, how to unify the object and logic paradigms by using logical variables that range over objects, and how to connect objects into concurrent systems. We provide a universal characterisation of parallel connection, and more generally, of parallel connection with synchronisation, and show how the former construction gives a class manager that provides unique identifiers for its objects. The paper concludes with some topics for further research. 1
Citations
|
402
|
Institutions: Abstract model theory for specification and programming
– Goguen, Burstall
- 1992
|
|
336
|
Category Theory For Computing Science
– Barr, Wells
- 1990
|
|
200
|
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
– Goguen, Meseguer
- 1992
|
|
126
|
On the structure of abstract algebras
– Birkhoff
- 1935
|
|
123
|
Principles of parameterized programming
– Goguen
- 1989
|
|
114
|
Introducing institutions
– Goguen, Burstall
- 1984
|
|
99
|
Unifying functional, object-oriented and relational programming with logical semantics
– GOGUEN, MESEGUER
- 1987
|
|
87
|
A categorical manifesto
– Goguen
- 1991
|
|
84
|
Types as theories
– Goguen
- 1991
|
|
73
|
Universal realization, persistent interconnection and implementation of abstract modules
– Goguen, Meseguer
- 1982
|
|
69
|
Information Distribution Aspects of Design Methodology
– Parnas
|
|
63
|
Logical support for modularisation
– Diaconescu, Goguen, et al.
|
|
36
|
Algebraic Theories
– Manes
- 1976
|
|
33
|
Theorem Proving and Algebra
– Goguen
|
|
24
|
On the structure of abstract algebras
– Birkho
- 1935
|
|
23
|
Module Composition and system design for the object paradigm
– Goguen, Socorro
- 1995
|
|
20
|
Hyperprogramming: A formal approach to software environments
– Goguen
- 1990
|
|
19
|
On Types and FOOPS
– Goguen, Wolfram
- 1991
|
|
18
|
Hiding and behaviour: an institutional approach
– Burstall, Diaconescu
- 1994
|
|
18
|
The semantics of Clear, a speci language
– Burstall, Goguen
- 1980
|
|
15
|
The logic of Horn clauses is equational
– Diaconescu
- 1993
|
|
15
|
2OBJ, a metalogical framework based on equational logic
– Goguen, Stevens, et al.
- 1992
|
|
15
|
Lawvere. Functorial semantics of algebraic theories
– William
- 1963
|
|
12
|
the Categorial Analysis of Logic
– Topoi
- 1979
|
|
11
|
Proving and rewriting
– Goguen
- 1990
|
|
9
|
Specification in OOZE with examples
– Alencar, Goguen
- 1993
|
|
7
|
Mechanised theorem proving with 2OBJ: A tutorial introduction
– Stevens, Goguen
- 1993
|
|
5
|
A hidden Herbrand theorem
– Goguen, Malcolm, et al.
- 1998
|
|
3
|
Implementation, and Evaluation of a Declarative Object Oriented Language
– Design
- 1994
|
|
2
|
OOZE: An Object Oriented Specification Language
– Alencar
- 1994
|
|
2
|
Earlier version
– Information, Control
- 1988
|
|
2
|
The semantic conception of truth. Philos. Phenomenological Research, 4:13--47
– Tarski
- 1944
|
|
1
|
OOZE: An Object Oriented Speci Language
– Alencar
- 1994
|
|
1
|
An algebraic approach to re
– Goguen
- 1990
|
