Publisher
Springer International Publishing
Reference30 articles.
1. Abadi, M., Cardelli, L.: A semantics of object types. In: Ninth Annual IEEE Symposium on Logic in Computer Science, pp. 332–341 (1994)
2. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)
3. Burstall, R.: Proving properties of programs by structural induction. Comput. J. 12(1), 41–48 (1969)
4. Burstall, R., Landin, P.J.: Programs and their proofs: an algebraic approach. Mach. Intell. 4, 17–43 (1969)
5. Lecture Notes in Computer Science;WR Cook,1990
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献