| Art der Veröffentlichung: |
Artikel in Sammlung |
| Autor: |
T. Mossakowski |
| Herausgeber: |
C. Choppy, D. Bert, P. Mosses |
| Titel: |
Specification in an arbitrary institution with symbols |
| Buch / Sammlungs-Titel: |
Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France |
| Band: |
1827 |
| Seite(n): |
252 – 270 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2000 |
| Verleger: |
Springer Verlag, London |
| Abstract / Kurzbeschreibung: |
We develop a notion of institution with symbols and a kernel language for writing structured specifications in CASL. This kernel language has a semantics in an arbitrary but fixed institution with symbols. Compared with other institution-independent kernel languages, the advantage is that translations, hidings etc. can be written in a symbol-oriented way (rather than being based on signature morphisms as primitive notion), while still being institution-independent. The semantics of the kernel language has been used as the basis for the semantics of structured specifications in CASL. |
| ISBN: |
3-540-67898-0 |
| Internet: |
http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,8,38; |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/inst.ps |
| Schlagworte: |
CASL institution semantics |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
01. 02. 2006 |
