@inproceedings{MossakowskiKlin01,
  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. },
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, T. and Klin, B.},
  biburl = {https://www.bibsonomy.org/bibtex/200ad7c17d5e27979c4c40108e24a986c/tillmo},
  booktitle = {Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy},
  editor = {Cerioli, M. and Reggio, G.},
  interhash = {bfd83d3dd8556367034dd9046b03421d},
  intrahash = {00ad7c17d5e27979c4c40108e24a986c},
  keywords = {imported},
  pages = {221--237},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/cats.pdf},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/cats.ps},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Institution Independent Static Analysis for {CASL}},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,1,1;},
  volume = 2267,
  year = 2002
}