Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. C. Beierle and A. Voß. Implementation specifications. Recent Trends in Data Type Specification, pp. 39–53, Proc. of the 3rd Workshop on Theory and Applications of Abstract Data Types, Springer, Informatik-Fachberichte 116, 1985.
2. M. Bidoit, M. Gaudel, and A. Mauboussin. How to make algebraic specifications more understandable? — An experiment with the PLUSS specification language. Int. Rep. 343, Univ. Paris-Sud, Apr. 1987.
3. M. Broy and M. Wirsing. Partial abstract types. Acta Inf., 18, pp. 47–64, 1982.
4. R. Burstall and J. Goguen. The semantics of CLEAR, a specification language. In Proc. 1979 Copenhagen Winter School, pp. 292–332, Springer, LNCS 86, 1980.
5. R. Cartwright. A constructive alternative to abstract data type definitions. Proc. 1980 LISP Conf., Stanford Univ., pp. 46–55, 1980.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献