Incremental Reasoning for Multiple Inheritance-Reference-Cited by-同舟云学术

Incremental Reasoning for Multiple Inheritance

Published:2009 Issue: Volume: Page:215-230
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dovland Johan,Johnsen Einar Broch,Owe Olaf,Steffen Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00255-7_15

Reference32 articles.

1. Lecture Notes in Computer Science;P. America,1991

2. America, P., van der Linden, F.: A parallel object-oriented language with inheritance and subtyping. In: Meyrowitz, N. (ed.) Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1990), vol. 25(10), pp. 161–168. ACM Press, New York (1990)

3. Apt, K.R.: Ten years of Hoare’s logic: A survey — Part I. ACM Transactions on Programming Languages and Systems 3(4), 431–483 (1981)

4. Apt, K.R., Olderog, E.-R.: Verification of Sequential and Concurrent Systems. In: Texts and Monographs in Computer Science. Springer, Heidelberg (1991)

5. Attali, I., Caromel, D., Ehmety, S.O.: A natural semantics for Eiffel dynamic binding. ACM Transactions on Programming Languages and Systems 18(6), 711–729 (1996)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. VIVO: A Semantic Approach to Scholarly Networking and Discovery;Synthesis Lectures on the Semantic Web: Theory and Technology;2012-10-17

2. Abstract Formal Framework for Method Overriding;Software Engineering and Computer Systems;2011

3. Reasoning about multiple related abstractions with MultiStar;ACM SIGPLAN Notices;2010-10-17

4. Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol;Electronic Notes in Theoretical Computer Science;2009-07

5. Incremental Reasoning for Multiple Inheritance;Lecture Notes in Computer Science;2009