Inheritance and cofree constructions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1098, Issue , 1996, Pages 210-231

  Jacobs, Bart ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; BISIMULATIONS; CO-FREE; COALGEBRAIC SPECIFICATIONS; COALGEBRAS; FREE CONSTRUCTION; MORPHISMS;

OBJECT ORIENTED PROGRAMMING;

EID: 43449107343     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053063     Document Type: Conference Paper

References (23)

1. K. Bruce, L. Caxdelli, G. Castagna, The Hopkins Objects Group, G. Leavens, and B. Pierce. On binary methods. Manuscript, May 1995.
2. L. Cardelli. A semantics of multiple inheritance. Inf. & Comp., 76(2/3):138-164, 1988.
3. W. Cook and J. Palsberg. A denotational semantics of inheritance and its correctness. Inf. & Comp., 114(2):329-350, 1995.
4. W.R. Cook. Object-oriented programming versus abstract data types. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, number 489 in Lect. Notes Comp. Sci., pages 151-178. Springer, Berlin, 1990.
5. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Number 6 in EATCS Monographs. Springer, Berlin, 1985.
6. J.A. Goguen. Realization is universal. Math. Syst. Theor., 6(4):359-374, 1973.
7. J.A. Goguen. A categorical manifesto. Math. Struct. Comp. Sci., l(l):49-67, 1991.
8. J.A Goguen and J. Meseguer. Universal realization, persistent interconnection and implementation of abstract modules. In M. Nielsen and E.M. Schmidt, editors, Automata, Languages and Programming (ICALP'82), number 140 in Lect. Notes Comp. Sci., pages 263-281. Springer, Berlin, 1982.
9. J.A Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417-477. The MIT Press series in computer systems, 1987.
10. B. Jacobs. Mongruences and cofree coalgebras. In V.S. Alagar and M. Nivat, editors, Algebraic Methods and Software Technology, number 936 in Lect. Notes Comp. Sci., pages 245-260. Springer, Berlin, 1995.
11. B. Jacobs. Coalgebraic specifications and models of deterministic hybrid systems. In M. Wirsing, editor, Algebraic Methods and Software Technology, Lect. Notes Comp. Sci. Springer, Berlin, 1996, to appear.
12. B. Jacobs. Objects and classes, coalgebraically. In B. Freitag, C.B. Jones, and C. Lengauer, editors, Object-Orientation with Parallelism and Persistence. Kluwer, 1996, to appear.
13. S. Mac Lane. Categories for the Working Mathematician. Springer, Berlin, 1971.
14. S. Lang. Algebra. Addison Wesley, 2nd rev. edition, 1984.
15. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1988.
16. B. Meyer. Eiffel: The Language. Prentice Hall, 1992.
17. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
18. J. Palsberg and M.I. Schwartzbach. Object-Oriented Type Systems. Wiley, 1994.
19. H. Reichel. An approach to object semantics based on terminal co-algebras. Math. Struct. Comp. Sci., 5:129-152, 1995.
20. R. Rist and R. Terwilliger. Object-Oriented Programming in Eiffel Prentice Hall, 1995.
21. B. Stroustrup. The C++ Programming Language. Addison-Wesley, 2nd rev. edition, 1994.
22. P. Wegner. The object-oriented classification paradigm. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 479-560. The MIT Press series in computer systems, 1987.
23. P. Wegner. Concepts and paradigms of object-oriented programming. OOPS Messenger, l(l):7-87, 1990.