Objects and Classes, Coalgebraically (1995)

Cached

Download Links

by B. Jacobs , Issn -x , Bart Jacobs
Venue:Object-Orientation with Parallelism and Persistence
Citations:68 - 17 self

Active Bibliography

26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
Coalgebraic Specifications in Object-Oriented Programming – Elena Tsanko - 2004
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
11 An Algebraic Semantics for the Object Specification Language TROLL light – Martin Gogolla, Rudolf Herzig - 1995
49 Type Theories and Object-Oriented Programming – Scott Danforth, Chris Tomlinson - 1988
117 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
15 An Object-Oriented Refinement Calculus with Modular Reasoning – Mark Utting - 1992
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
Formal Justification in Requirements Engineering – Simon Robert Smith - 1996
251 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
107 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995
Logical Observable Entities – Jonathan G. Rossie, Jr. - 1998
29 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996