| Publication type: |
Article in Proceedings |
| Author: |
T. Mossakowski |
| Editor: |
E. Astesiano, G. Reggio, A. Tarlecki |
| Title: |
A Hierarchy of Institutions separated by properties of parameterized abstract data types |
| Book / Collection title: |
Recent Trends in Data Type Specification. Proceedings |
| Volume: |
906 |
| Page(s): |
389 – 405 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
1995 |
| Publisher: |
Springer Verlag, London |
| Abstract: |
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 |
| Keywords: |
institution equational logic parameterization Horn |
| Status: |
Reviewed |
| Last updated: |
11. 04. 2006 |
