The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics

The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics (2002)

Cached

Download Links

by Hendrik Tews

Citations:

BibTeX

@MISC{Tews02thecoalgebraic,
    author = {Hendrik Tews},
    title = {The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics},
    year = {2002}
}

Bookmark

OpenURL

Abstract

Citations

1009	Temporal and modal logic - Emerson - 1990
827	A Theory of Objects - Abadi, Cardelli - 1996
447	A Lattice-theoretical Fixpoint Theorem and its Applications - Tarski - 1955
386	Isabelle: A generic theorem prover - Paulson - 1994
279	Universal coalgebra: a theory of systems - Rutten - 2000
185	Modal and Temporal Logics - Stirling - 1993
156	Simple type-theoretic foundations for object-oriented programming - Pierce, Turner - 1994
141	The C++ Programming Language, Third Edition - Stroustrup - 1997
90	An approach to object semantics based on terminal co-algebras - Reichel - 1995
55	Structural induction and coinduction in a fibrational setting - Hermida, Jacobs - 1998
49	GPERF: A Perfect Hash Function Generator - Schmidt - 1990
34	Reasoning about classes in object-oriented languages: Logical models and tools - Hensel, Huisman, et al. - 1998
33	The temporal logic of coalgebras via Galois algebras - Jacobs - 1999
32	Logics of Time and Computation, Second Edition, Revised and Expanded, ser. CSLI Lecture Notes - Goldblatt - 1992
32	Coalgebras and modal logic - Rößiger
28	Categorical logic and type theory. Number 141 in Studies in logic and the foundations of mathematics - Jacobs - 1999
28	The Isabelle/Isar Reference Manual - Wenzel - 2002
23	Isabelle: a generic theorem prover. Number 828 - Paulson - 1994
20	R.: An oxford survey of order sorted algebra - Goguen, Diaconescu - 1994
15	Proof principles for datatypes with iterated recursion - Hensel, Jacobs - 1997
14	bisimulations and the correctness of coalgebraic refinements - Invariants
13	H.: Coalgebraic Methods for Object-Oriented Specification - Tews - 2002
12	Structural induction and coinduction in a setting - Hermida, Jacobs - 1998
12	Attack languages - VIGNA, ECKMANN, et al. - 2000
7	Coalgebras for Binary Methods - Tews - 2000
6	Logic: On the algebraic extension of coalgebraic speci - Hennicker, Kurz - 1999
6	bisimulations and the correctness of coalgebraic re - Invariants - 1997
5	H.: A case study in coalgebraic specification: Memory management in the fiasco microkernel - Tews - 2000
4	First steps in formalising JML: Exceptions in predicates - Berg, Poll, et al. - 2000
4	The LOOP compiler for Java and JML - Berg, Jacobs - 2001
3	A tutorial on (co)algebras and (co)induction. EATCS Bulletin - Jacobs, Rutten - 1997
3	Modal logics for coalgebraic class specification - Rothe - 2000
3	A coalgebraic equational approach to specifying observational structures - Crstea - 1999
1	A case study in object oriented specification and verification: The MSMIE protocol. Master's thesis, Katholieke Universiteit Nijmegen - Meyer - 1999
1	The YAPI protocol for buered data transfer. Techn. Rep. CSI-R9923, Comput. Sci. Inst., Univ. of Nijmegen. Available at URL http://www.cs.kun.nl/csi/reports/info/CSI-R9923.html, 2000 - Lambooij
1	A case study in object oriented speci and veri The MSMIE protocol. Master's thesis - Meyer - 1999
1	Schöning: Theoretische Informatik kurz gefasst - unknown authors - 1997
1	M.: Languages for coalgebras on datafunctors - Rößiger - 1999
1	M.: Coalgebras, Clone Theory and Modal Logic - Rößiger - 2000
1	A.: Higher order charity - Schroeder - 1997