Institution independent static analysis for Casl (2002)
Cached
Download Links
- [www.informatik.uni-bremen.de]
- [www.informatik.uni-bremen.de]
- DBLP
Other Repositories/Bibliography
| Venue: | Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01 |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Mossakowski02institutionindependent,
author = {Till Mossakowski and Bartek Klin},
title = {Institution independent static analysis for Casl},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01},
year = {2002},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We describe a way to make the static analysis for the inthe-large part of the Common Algebraic Specification Language (Casl) independent of the underlying logic that is used for specification in-thesmall. 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. 1
