| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
T. Mossakowski |
| Herausgeber: |
J. L. Fiadeiro |
| Titel: |
Translating {OBJ3} to {CASL}: the institution level |
| Buch / Sammlungs-Titel: |
Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers |
| Band: |
1589 |
| Seite(n): |
198 – 214 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
1999 |
| Verleger: |
Springer Verlag, London |
| Abstract / Kurzbeschreibung: |
We translate OBJ3 to CASL. At the level of basic specifications, we set up several institution representations between the underlying institutions. They correspond to different methodological views of OBJ3. The translations can be the basis for automated tools translating OBJ3 to CASL. |
| Internet: |
http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,4,38; |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/CASLOBJ.ps |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
01. 02. 2006 |
