Bart Jacobs  Home/Search
Context Related
| cs.kun.nl/~bart/PAPERS/nvti99.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/~bart/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The aim of this short note is to give an impression of the use of coalgebras in specification and verification for object-oriented languages. Particular emphasis will be given to the rôle of coalgebraic operations in describing state-based systems. At the end some active research topics in coalgebra will be sketched, together with pointers to the literature. (Update)
Context of citations to this paper: More
...16 3. 6 Bart Jacobs s object oriented verification tools Bart Jacobs uses coalgebraic methods for reasoning about classes in [16, 17]. He also coauthored an accessible tutorial[18] on coalgebras and coinduction, by comparing them directly to their (more familiar) duals,...
Cited by: More
Thesis Proposal: Formal Verification Of Program Correctness For.. - Tang (Correct)
Active bibliography (related documents): More All
1.3: Exercises in Coalgebraic Specification - Jacobs (1999) (Correct)
0.7: The Continuum as a Final Coalgebra - Pavlovic, Pratt (1999) (Correct)
0.5: Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study - Jacobs (2001) (Correct)
Similar documents based on text: More All
0.6: A Small Final Coalgebra Theorem - Kawahara, MORI (1996) (Correct)
0.6: A Coalgebraic Foundation for Linear Time Semantics - Power, Turi (1999) (Correct)
0.6: The Temporal Logic of Coalgebras via Galois Algebras - Jacobs (1999) (Correct)
Related documents from co-citation: More All
2: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
Bart Jacobs. Coalgebras in specification and verification for objectoriented languages. Newsletter of the Dutch Association for Theoretical Computer Science, 3, 1999. http://citeseer.ist.psu.edu/jacobs99coalgebra.html More
@misc{ jacobs99coalgebras,
author = "B. Jacobs",
title = "Coalgebras in specification and verification for objectoriented languages",
text = "Bart Jacobs. Coalgebras in specification and verification for objectoriented
languages. Newsletter of the Dutch Association for Theoretical Computer
Science, 3, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/jacobs99coalgebra.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
210 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
186 Universal coalgebra: a theory of systems - Rutten - 1999
159 Non-well-founded sets (context) - Aczel - 1988
121 An approach to object semantics based on terminal coalgebras (context) - Reichel - 1995
72 Objects and classes (context) - Jacobs - 1996
72 EATCS Bulletin (context) - Jacobs, Rutten et al. - 1997
58 Algebraically complete categories (context) - Freyd - 1991
57 Formal veri- cation for fault-tolerant architectures: Proleg.. - Owre, Rushby et al. - 1995
52 Reasoning about classes in object-oriented languages: Logica.. - Hensel, Huisman et al. - 1998
48 CSLI Lecture Notes (context) - Goldblatt, Time - 1992
39 A typed lambda calculus with categorical type constructors (context) - Hagino - 1987
38 Java program verication via a Hoare logic with abrupt termin.. - Huisman, Jacobs - 1999
37 Mongruences and cofree coalgebras - Jacobs - 1995
37 A coinduction principle for recursive data types based on bi.. - Fiore - 1996
37 Reasoning about classes in Java (context) - Jacobs, van den Berg et al. - 1998
36 Remarks on algebraically compact categories (context) - Freyd - 1992
32 the structure of abstract algebras (context) - Birkho - 1935
30 Inheritance and cofree constructions - Jacobs - 1996
30 Specifying coalgebras with modal logic (context) - Kurz - 1998
28 Vicious Circles: On the Mathematics of Non-wellfounded Pheno.. (context) - Barwise, Moss - 1996
28 Theories of Programming Languages (context) - Reynolds - 1998
27 A case study in class library verication: Java's Vector clas.. - Huisman, van den Berg et al. - 1999
27 A logical characterization of bisimulation for labeled marko.. - Desharnais, Edalat et al. - 1998
25 Mechanizing coinduction and corecursion in higherorder logic - Paulson - 1997
21 A note on categorical datatypes (context) - Wraith - 1989
20 On functors expressible in the polymorphic typed lambda calc.. (context) - Reynolds, Plotkin - 1993
18 Technical Report (context) - Cockett, Fukushima - 1992
17 An extended abstract of a hidden agenda (context) - Goguen, Malcolm - 1996
16 Bisimulation for probabilistic transition systems: a coalgeb.. - de Vink, Rutten - 1998
16 Coalgebraic logic - Moss - 1999
14 Parametrized data types do not need highly constrained param.. (context) - Arbib, Manes - 1982
13 Automata and coinduction (context) - Rutten - 1998
12 bisimulations and the correctness of coalgebraic renements (context) - Jacobs - 1997
12 Coalgebraic theories of sequences in PVS - Hensel, Jacobs - 1999
8 Coalgebraic Methods in Computer Science (context) - Jacobs, Rutten - 1999
8 From modal logic to terminal coalgebras (context) - iger - 1999
8 Coalgebraic Methods in Computer Science (context) - Jacobs, Moss et al. - 1998
7 Calculus in coinductive form (context) - Pavlovi, Escard - 1998
7 Covarieties and complete covarieties (context) - Gumm, Schr - 1998
6 The Coq Proof Assistant User's Guide Version (context) - Barras, Boutin et al. - 1997
5 An axiomatics for categories of transition systems as coalge.. - Johnstone, Power et al. - 1998
5 bisimulation and minimal realisation (context) - Malcolm - 1996
4 Guarded induction on nal coalgebras (context) - Pavlovi - 1998
4 the foundations of nal semantics: nonstandard sets (context) - Turi, Rutten - 1998
3 Coalgebraic specications and models of deterministic hybrid .. - Jacobs - 1996
3 like axiomatizability result for hidden algebra and coalgebr.. (context) - Ro, Birkho - 1998
2 Codatatypes in ML (context) - Hagino - 1989
2 Coalgebra semantics for hidden algebra: parametrised objects.. (context) - rstea - 1998
1 Monadic corecursion|denition (context) - Pardo - 1998
Documents on the same site (http://www.cs.kun.nl/~bart/papers.html): More
A Case Study in Class Library Verification: Java's Vector Class - Huisman, al. (1999) (Correct)
Coalgebraic Theories of Sequences in PVS - Hensel, Jacobs (1998) (Correct)
Invariants, Bisimulations and the Correctness of Coalgebraic.. - Jacobs (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