B.P.F. Jacobs  Home/Search
Context Related
| cwi.nl/ftp/CWIreports/A...CSR9564.ps.Z 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: info4u.cwi.nl/static/pu...CS1995 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The coalgebraic view on classes and objects is elaborated to include inheritance. Inheritance in coalgebraic specification (of classes) will be understood dually to parametrization in algebraic specification. That is, inheritance involves restriction (specialization), where parametrization involves extension. And cofree constructions are "best" restrictions, like free constructions are "best" extensions. To make this view on inheritance precise we need a suitable notion of behaviour preserving... (Update)
Context of citations to this paper: More
.... line of applying coalgebraic and coinductive notions and techniques in the formalisation of object oriented concepts, see [25, 13, 10, 12, 14, 5, 6], building on earlier work [29, 2, 15] Coalgebras consist of a state space together with a transition function and can be used...
Cited by: More
Towards Behavioral Maude: Behavioral Membership Equational Logic - Meseguer, Rosu (2002) (Correct)
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use .. - Meng, Aichernig (2003) (Correct)
Coalg_{KPF}: Towards a Coalgebraic Calculus for.. - Meng, Aichernig (Correct)
Similar documents (at the sentence level):
79.5%: Inheritance and Cofree Constructions - Jacobs (1996) (Correct)
Active bibliography (related documents): More All
0.6: Automata and Behaviours in Categories of Processes - Jacobs (1996) (Correct)
0.3: An Overview of Eiffel - Paige (1998) (Correct)
0.1: Objects And Classes, Co-Algebraically - Jacobs (1996) (Correct)
Similar documents based on text: More All
0.3: Uniform Convergence of Curve Estimators for Ergodic Diffusion.. - van Zanten (2000) (Correct)
0.3: Objects and Classes, Coalgebraically - Jacobs (1995) (Correct)
0.2: Truth-as-Simulation: Towards a Coalgebraic Perspective on Logic.. - Baltag (1999) (Correct)
Related documents from co-citation: More All
27: An Approach to Object Semantics based on Terminal Co-algebras (context) - Reichel - 1995
20: Objects and classes (context) - Jacobs - 1996
12: Mongruences and cofree coalgebras - Jacobs - 1995
BibTeX entry: (Update)
B. Jacobs. Inheritance and cofree constructions. In P. Cointe, editor, European Conference on Object-Oriented Programming, number 1098 in Lect. Notes Comp. Sci., pages 210-231. Springer, Berlin, 1996. http://citeseer.ist.psu.edu/jacobs95inheritance.html More
@article{ jacobs96inheritance,
author = "Bart Jacobs",
title = "Inheritance and Cofree Constructions",
journal = "Lecture Notes in Computer Science",
volume = "1098",
pages = "210--231",
year = "1996",
url = "citeseer.ist.psu.edu/jacobs95inheritance.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1274 Object-Oriented Software Construction (context) - Meyer - 1988
1002 Programming Language (context) - Stroustrup - 1994
562 Categories for the Working Mathematician (context) - Lane - 1971
342 Eiffel: The Language (context) - Meyer - 1992
177 Fundamentals of Algebraic Specification I: Equations and Ini.. (context) - Ehrig, Mahr - 1985
124 Concepts and paradigms of object-oriented programming (context) - Wegner - 1990
121 An approach to object semantics based on terminal co-algebra.. (context) - Reichel - 1995
107 A denotational semantics of inheritance and its correctness - Cook, Palsberg - 1995
107 Object-Oriented Type Systems (context) - Palsberg, Schwartzbach - 1994
52 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
40 Object-oriented programming versus abstract data types (context) - Cook - 1990
37 The object-oriented classification paradigm (context) - Wegner - 1987
37 Mongruences and cofree coalgebras - Jacobs - 1995
20 A categorical manifesto - Goguen - 1991
10 The Hopkins Objects Group (context) - Bruce, Cardelli et al. - 1995
10 Realization is universal (context) - Goguen - 1973
3 Object-Oriented Programming in Eiffel (context) - Rist, Terwilliger - 1995
2 available from ftp (context) - Jacobs, classes et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://info4u.cwi.nl/static/publications/reports/CS-1995.html): More
Ntyft/ntyxt Rules Reduce to Ntree Rules - Fokkink, van Glabbeek (1996) (Correct)
Equational Term Graph Rewriting - Ariola, Klop (1993) (Correct)
Raising GA Performance by Simultaneous Tuning of.. - van Kemenade, Kok, Eiben (1995) (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