| Publication type: |
Article in Proceedings |
| Author: |
T. Mossakowski |
| Editor: |
M. Wirsing, D. Pattinson, R. Hennicker |
| Title: |
Foundations of heterogeneous specification |
| Book / Collection title: |
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers |
| Page(s): |
359 – 375 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2003 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
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 |
| Last updated: |
01. 02. 2006 |
