| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Till Mossakowski, Andrzej Tarlecki |
| Herausgeber: |
Anca Muscholl |
| Titel: |
A relatively complete calculus for structured heterogeneous specifications |
| Buch / Sammlungs-Titel: |
17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) |
| Band: |
8412 |
| Seite(n): |
441 – 456 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2014 |
| Verleger: |
Springer-Verlag Berlin Heidelberg |
| Abstract / Kurzbeschreibung: |
Proof calculi for structured specifications have been developed
independently of the underlying logical system (formalised as
institution). Typically, completeness of these calculi requires
interpolation properties of the underlying logic. We develop a
relatively complete calculus for structured heterogeneous
specifications that does not need interpolation. |
| Internet: |
http://link.springer.com/chapter/10.1007%2F978-3-642-54830-7_29 |
| PDF Version: |
http:///www.informatik.uni-bremen.de/~till/papers/het-calculus.pdf |
| Schlagworte: |
proof calculus sound complete heterogeneous structured specification |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
25. 04. 2014 |
