Author:
Dovland Johan,Broch Johnsen Einar,Owe Olaf,Steffen Martin
Reference40 articles.
1. Designing an object-oriented programming language with behavioural subtyping;America,1991
2. A parallel object-oriented language with inheritance and subtyping;America,1990
3. Ten years of Hoare’s logic: A survey—Part~I;Apt;ACM Transactions on Programming Languages and Systems,1981
4. Verification of sequential and concurrent systems;Apt,2009
5. A natural semantics for Eiffel dynamic binding;Attali;ACM Transactions on Programming Languages and Systems,1996
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Framework for Flexible Program Evolution and Verification of Distributed Systems;Communications in Computer and Information Science;2020
2. Who Carries the Burden of Modularity?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
3. A Flexible Framework for Program Evolution and Verification;Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development;2019
4. A modular reasoning system using uninterpreted predicates for code reuse;Journal of Logical and Algebraic Methods in Programming;2018-02
5. Hoare-Style Reasoning from Multiple Contracts;Lecture Notes in Computer Science;2017