B. Jacobs  Home/Search
Context
Related
Links: ACM DBLP | cs.kun.nl/research//re...CSIR9704.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: cs.kun.nl/research/reports...1997 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Coalgebraic specifications are used to formally describe the behaviour of classes in object-oriented languages. In this paper, a general notion of refinement between two such coalgebraic specifications is defined, capturing the idea that one "concrete" class specification realises the behaviour of the other, "abstract" class specification. (Update)
Similar documents (at the sentence level):
55.9%: Invariants, Bisimulations and the Correctness of Coalgebraic.. - Jacobs (Correct)
55.9%: Proof Principles for Datatypes with Iterated Recursion - Hensel, Jacobs (1997) (Correct)
Active bibliography (related documents): More All
0.7: A Tutorial on (Co)Algebras and (Co)Induction - Jacobs, Rutten (1997) (Correct)
0.4: Behaviour-Refinement of Coalgebraic Specifications with.. - Jacobs (1997) (Correct)
0.2: Objects And Classes, Co-Algebraically - Jacobs (1996) (Correct)
Similar documents based on text: More All
0.9: Exercises in Coalgebraic Specification - Jacobs (1999) (Correct)
0.7: Assertional and Behavioural Refinement in Coalgebraic.. - Jacobs, Tews (2001) (Correct)
0.7: Coalgebras For Binary Methods: Properties Of Bisimulations And.. - Tews (2001) (Correct)
BibTeX entry: (Update)
@inproceedings{ jacobs97invariants,
author = "Bart Jacobs",
title = "Invariants, Bisimulations and the Correctness of Coalgebraic Refinements",
booktitle = "Algebraic Methodology and Software Technology, {AMAST}'97",
volume = "1349",
publisher = "Springer-Verlag",
address = "Sydney, Australia",
editor = "Michael Johnson",
pages = "276--291",
year = "1997",
url = "citeseer.ist.psu.edu/jacobs97invariants.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990 ACM DBLP
484 A Calculus of Communicating Systems (context) - Milner - 1989
265 Proof of correctness of data representations (context) - Hoare - 1972 ACM DBLP
186 Universal coalgebra: a theory of systems - Rutten - 1996 ACM DBLP
160 Abstraction and Specification in Program Development (context) - Liskov, Guttag - 1986 ACM
150 The category theoretic solution of recursive domain equation.. (context) - Smyth, Plotkin - 1982
134 PVS: Combining specification (context) - Owre, Rajan et al. - 1996
121 An approach to object semantics based on terminal co-algebra.. (context) - Reichel - 1995 DBLP
106 An algebraic definition of simulation between programs (context) - Milner - 1971
91 A final coalgebra theorem (context) - Aczel, Mendler ACM DBLP
72 Objects and classes (context) - Jacobs - 1996
46 the foundations of final semantics: non-standard sets (context) - Rutten, Turi - 1993
37 Mongruences and cofree coalgebras - Jacobs - 1995 ACM DBLP
37 Proof of correctness of object representations (context) - Goguen, Malcom - 1994
33 Algebraic specification of data types: A synthetic approach (context) - Lehmann, Smyth - 1981 DBLP
32 Final algebra semantics and data type extension (context) - Wand - 1979
31 Structural induction and coinduction in a fibrational settin.. - Hermida, Jacobs - 1996 DBLP
30 Inheritance and cofree constructions - Jacobs - 1996 ACM DBLP
21 An algebraic approach to refinement (context) - Goguen - 1990
17 An extended abstract of a hidden agenda (context) - Goguen, Malcom - 1996
17 Verification and specification of concurrent programs - Lamport - 1994
14 Parametrized data types do not need highly constrained param.. (context) - Arbib, Manes - 1982 DBLP
13 Final data types and their specification (context) - Kamin - 1983 ACM DBLP
12 Forward and backward simulations (context) - Lynch, Vaandrager - 1995
12 Coalgebraic specifications and models of deterministic hybri.. - Jacobs - 1996
9 Behaviour-refinement of coalgebraic specifications with coin.. - Jacobs - 1997 ACM DBLP
8 Formal verification of data type refinement --- theory and p.. (context) - Nipkow - 1990
6 An algebraic view of structural induction - Hermida, Jacobs - 1995 ACM DBLP
4 Algebraic Appoaches to Program Semantics (context) - Manes, Arbib - 1986
Documents on the same site (http://www.cs.kun.nl/research/reports/1997.html): More
How is This Document's Relevancy Derived? - Wondergem, van Bommel, Huibers, .. (1997) (Correct)
Opportunities for Electronic Commerce in.. - Wondergem, van.. (Correct)
The Incremental Searcher Satisfaction Model for Information.. - van der Weide, al. (1997) (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