Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
Herausgeber: Martin Wirsing, Dirk Pattinson, Rolf Hennicker
Titel: Algebraic-co-algebraic specification in {CoCASL}
Buch / Sammlungs-Titel: Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02
Band: 2755
Seite(n): 376 – 392
Serie / Reihe: Lecture Notes in Computer Science
Erscheinungsjahr: 2003
Verleger: Springer, Berlin
Abstract / Kurzbeschreibung: We introduce CoCASL as a simple coalgebraic extension of the algebraic specification language CASL. CoCASL allows the nested combination of algebraic datatypes and coalgebraic process types. We show that the well-known coalgebraic modal logic can be expressed in CoCASL. We present sufficient criteria for the existence of cofree models, also for several variants of nested cofree and free specifications. Moreover, we describe an extension of the existing proof support for CASL (in the shape of an encoding into higher-order logic) to CoCASL.
Internet: http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=376
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/cocasl.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~lschrode/papers/cocasl.ps
Schlagworte: CASL coalgebra modal logic CoCASL
Status: Reviewed
Letzte Aktualisierung: 22. 06. 2005

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 23. Februar 2006   impressum