| Publication type: |
Article in Collection |
| Author: |
T. Mossakowski |
| Editor: |
C. Choppy, D. Bert, P. Mosses |
| Title: |
Specification in an arbitrary institution with symbols |
| Book / Collection title: |
Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France |
| Volume: |
1827 |
| Page(s): |
252 – 270 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2000 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
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 |
| Keywords: |
CASL institution semantics |
| Status: |
Reviewed |
| Last updated: |
01. 02. 2006 |
