Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Burstall, R.M.; Goguen, J.A. “Putting theories together to make specifications”, Proc. V IJCAI, Cambridge Mass., 1977, pp. 1045–1058.
2. Lect Notes Comput Sci;R.M. Burstall,1980
3. Cardelli, L. “The semantics of multiple inheritance”, Proc. Colloquium on the Semantics of Data Types, Sophia-Antipolis, 1984.
4. Cardelli, L.; Wegner, P. “On understanding types, data abstraction and polymorphism”, Computer Surveys 17,4 (Dec. 1985), pp. 471–522.
5. Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P. “Algebraic implementation of abstract data types”, Theoret. Comp. Sc. 20 (1982), pp. 209–263.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献