Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance
Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance
The theory of hidden algebras combines standard algebraic techniques with coalgebraic techniques to provide a semantic foundation for the object paradigm. This paper focuses on the coalgebraic aspect of hidden algebra, concerned with signatures of destructors at the syntactic level and with finality and cofree constructions at the semantic level. Our main result shows the existence of cofree constructions induced by maps between coalgebraic hidden specifications. Their use in giving a semantics to parameterised objects and inheritance is then illustrated. The cofreeness result for hidden algebra is generalised to abstract coalgebra and a universal construction for building object systems over existing subsystems is obtained. Finally, existence of final/cofree constructions for arbitrary hidden specifications is discussed.
174-189
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Parisi-Presicce, F.
0d158126-7f52-4570-b971-c8c1675fa9ee
1998
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Parisi-Presicce, F.
0d158126-7f52-4570-b971-c8c1675fa9ee
Cirstea, Corina
(1998)
Coalgebra Semantics for Hidden Algebra: Parameterised Objects and Inheritance.
Parisi-Presicce, F.
(ed.)
12th International Workshop on Algebraic Development Techniques.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
The theory of hidden algebras combines standard algebraic techniques with coalgebraic techniques to provide a semantic foundation for the object paradigm. This paper focuses on the coalgebraic aspect of hidden algebra, concerned with signatures of destructors at the syntactic level and with finality and cofree constructions at the semantic level. Our main result shows the existence of cofree constructions induced by maps between coalgebraic hidden specifications. Their use in giving a semantics to parameterised objects and inheritance is then illustrated. The cofreeness result for hidden algebra is generalised to abstract coalgebra and a universal construction for building object systems over existing subsystems is obtained. Finally, existence of final/cofree constructions for arbitrary hidden specifications is discussed.
More information
Published date: 1998
Venue - Dates:
12th International Workshop on Algebraic Development Techniques, 1998-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 263008
URI: http://eprints.soton.ac.uk/id/eprint/263008
PURE UUID: a6f3d032-b0ac-4624-8e1a-944a6f1362ab
Catalogue record
Date deposited: 21 Sep 2006
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
Editor:
F. Parisi-Presicce
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics