| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
T. Mossakowski |
| Herausgeber: |
M. Wirsing, D. Pattinson, R. Hennicker |
| Titel: |
Foundations of heterogeneous specification |
| Buch / Sammlungs-Titel: |
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers |
| Seite(n): |
359 – 375 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2003 |
| Verleger: |
Springer Verlag, London |
| Abstract / Kurzbeschreibung: |
We provide a semantic basis for heterogeneous specifications that not only involve different logics, but also different kinds of translations between these. We show that Grothendieck institutions based on spans of (co)morphisms can serve as a unifying framework providing a simple but powerful semantics for heterogeneous specification. |
| ISBN: |
3-540-20537-3 |
| Internet: |
http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,20,38; |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/hetspec.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/hetspec.ps |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
01. 02. 2006 |
