| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Mihai Codescu, Till Mossakowski, Christian Maeder |
| Herausgeber: |
Reiko Heckel, Stefan Milius |
| Titel: |
Checking conservativity with Hets |
| Buch / Sammlungs-Titel: |
CALCO 2013 |
| Band: |
8089 |
| Seite(n): |
315 – 321 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2013 |
| Verleger: |
Springer-Verlag Berlin Heidelberg |
| Abstract / Kurzbeschreibung: |
In this paper we present a (sound, but incomplete) algorithm for
deciding conservativity of extensions of specifications in CASL as part of the Heterogeneous Tool Set (Hets). |
| Internet: |
http://dx.doi.org/10.1007/978-3-642-40206-7_24 |
| PDF Version: |
http://iws.cs.uni-magdeburg.de/~mossakow/papers/hets-ccc.pdf |
| Schlagworte: |
Conservative extension CASL Hets |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
09. 02. 2015 |
