Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. J.-R. Abrial, S. Schuman, and B. Meyer. Specification language. In R. McKeag and A. Macnaghten, editors, On the Construction of Programs: An advanced course, pages 343–410. Cambridge University Press, 1980.
2. H. Ait-Kaci. Type subsumption as a model of computation. In Expert Database Systems. Benjammin/Cummings Inc, 1986.
3. S. Bear. Structuring for the VDM specification language. In VDM'88: VDM-The Way Ahead. Lecture Notes in Computer Science, Vol 328. Springer-Verlag, 1988. R. Bloomfield, L. Marshall, R. Jones (eds).
4. L. Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, Lecture Notes in Computer Science, Vol 173, pages 51–68. Springer-Verlag, 1984.
5. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471–522, December 1985.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献