A systematic study of models of abstract data types

Authors:
M. Broy;M. Wirsing;C. Pair
Affiliations:
Univ. of Passau, Passau, West Germany;Univ. of Passau, Passau, West Germany;Ministe`re de l'Education Nationale, Paris, France
Venue:
Theoretical Computer Science
Year:
1984

Algorithmic specifications: a constructive specification method for abstract data types

ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Specification and Proof Techniques for Mixed Systems

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
My ADT shrine

WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
The Formal Design Models of a Universal Array UA and its Implementation

International Journal of Software Science and Computational Intelligence

Hi-index	5.23