A Hierarchy of Institutions separated by properties of parameterized abstract data types
T. Mossakowski. Recent Trends in Data Type Specification. Proceedings, volume 906 of Lecture Notes in Computer Science, page 389--405. Springer Verlag, London, (1995)
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.
%0 Conference Paper
%1 Mossakowski95
%A Mossakowski, T.
%B Recent Trends in Data Type Specification. Proceedings
%D 1995
%E Astesiano, E.
%E Reggio, G.
%E Tarlecki, A.
%I Springer Verlag, London
%K Horn equational institution logic parameterization
%P 389--405
%T A Hierarchy of Institutions separated by properties of parameterized abstract data types
%U http://dx.doi.org/10.1007/BFb0014440
%V 906
%X 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.
@inproceedings{Mossakowski95,
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. },
added-at = {2016-08-05T15:59:03.000+0200},
author = {Mossakowski, T.},
biburl = {https://www.bibsonomy.org/bibtex/20b1543dc92e1ece547d9685ad92c30a7/tillmo},
booktitle = {Recent Trends in Data Type Specification. Proceedings},
editor = {Astesiano, E. and Reggio, G. and Tarlecki, A.},
interhash = {0b36326c90ced5e1f62ac08a93fbf3e0},
intrahash = {0b1543dc92e1ece547d9685ad92c30a7},
keywords = {Horn equational institution logic parameterization},
pages = {389--405},
psurl = {http://www.informatik.uni-bremen.de/~till/papers/hinst.ps},
publisher = {Springer Verlag, London},
series = {Lecture Notes in Computer Science},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {A Hierarchy of Institutions separated by properties of parameterized abstract data types},
url = {http://dx.doi.org/10.1007/BFb0014440},
volume = 906,
year = 1995
}