From static to dynamic abstract data-types: an institution transformation
- 6 March 1999
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 216 (1-2) , 109-157
- https://doi.org/10.1016/s0304-3975(98)00125-x
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- May I borrow your logic? (Transporting logical structures along maps)Theoretical Computer Science, 1997
- A Free Construction of Dynamic TermsJournal of Computer and System Sciences, 1996
- D-oids: a model for dynamic data-typesMathematical Structures in Computer Science, 1995
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categoriesTheoretical Computer Science, 1991