| Publication type: |
Article in Proceedings |
| Author: |
Mihai Codescu, Till Mossakowski, Christian Maeder |
| Editor: |
Reiko Heckel, Stefan Milius |
| Title: |
Checking conservativity with Hets |
| Book / Collection title: |
CALCO 2013 |
| Volume: |
8089 |
| Page(s): |
315 – 321 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2013 |
| Publisher: |
Springer-Verlag Berlin Heidelberg |
| Abstract: |
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 |
| Keywords: |
Conservative extension CASL Hets |
| Status: |
Reviewed |
| Last updated: |
09. 02. 2015 |
