| Publication type: |
Article in Proceedings |
| Author: |
T. Mossakowski, B. Klin |
| Editor: |
M. Cerioli, G. Reggio |
| Title: |
Institution Independent Static Analysis for CASL |
| Book / Collection title: |
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy |
| Volume: |
2267 |
| Page(s): |
221 – 237 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2002 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
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 |
| Last updated: |
01. 02. 2006 |
|
 |
