| 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 |
