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

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: T. Mossakowski, B. Klin
Herausgeber: M. Cerioli, G. Reggio
Titel: Institution Independent Static Analysis for {CASL}
Buch / Sammlungs-Titel: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy
Band: 2267
Seite(n): 221 – 237
Serie / Reihe: Lecture Notes in Computer Science
Erscheinungsjahr: 2002
Verleger: Springer Verlag, London
Abstract / Kurzbeschreibung: We describe a way to make the static analysis for the in-the-large part of the Common Algebraic Specification Language (CASL) independent of the underlying logic that is used for specification in-the-small. The logic here is formalized as an institution with some extra components. Following the institution independent semantics of CASL in-the-large, we thus get an institution independent static analysis for CASL in-the-large. With this, it is possible to re-use the CASL static analysis for extensions of CASL, or even completely different logics. One only has to provide a static analysis for specifications in-the-small for the given logic. This then can be plugged into the generic static analysis for CASL in-the-large.
Internet: http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,1;
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/cats.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~till/papers/cats.ps
Status: Reviewed
Letzte Aktualisierung: 01. 02. 2006

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum