| Publication type: |
Article in Proceedings |
| Author: |
T. Mossakowski |
| Editor: |
J. L. Fiadeiro |
| Title: |
Translating OBJ3 to CASL: the institution level |
| Book / Collection title: |
Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers |
| Volume: |
1589 |
| Page(s): |
198 – 214 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
1999 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
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 |
| Last updated: |
01. 02. 2006 |
|
 |
