| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
T. Mossakowski |
| Herausgeber: |
E. Astesiano, G. Reggio, A. Tarlecki |
| Titel: |
A Hierarchy of Institutions separated by properties of parameterized abstract data types |
| Buch / Sammlungs-Titel: |
Recent Trends in Data Type Specification. Proceedings |
| Band: |
906 |
| Seite(n): |
389 – 405 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
1995 |
| Verleger: |
Springer Verlag, London |
| Abstract / Kurzbeschreibung: |
A hierarchy of institutions ranging form equational logic to partial conditional existence-equational logic with relations is built. The different levels of the hierarchy can be separated by properties of parameterized abstract data types. A sample parameterized abstract data type, bounded stacks, is located within the hierarchy. |
| Internet: |
http://dx.doi.org/10.1007/BFb0014440 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/hinst.ps |
| Schlagworte: |
institution equational logic parameterization Horn |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
11. 04. 2006 |
