Author:
Dovland Johan,Johnsen Einar Broch,Yu Ingrid Chieh
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;D. Clarke,2011
2. Damiani, F., Dovland, J., Johnsen, E.B., Schaefer, I.: Verifying traits: A proof system for fine-grained reuse. In: Proc. 13th Workshop on Formal Techniques for Java-like Programs (FTfJP 2011), 8:1–8:6. ACM (2011)
3. Dhara, K.K., Leavens, G.T.: Forcing behavioural subtyping through specification inheritance. In: 18th Conf. on Software Engineering. IEEE Press (1996)
4. Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Lazy behavioral subtyping. Journal of Logic and Algebraic Programming 79(7), 578–607 (2010)
5. Dovland, J., Johnsen, E.B., Owe, O., Steffen, M.: Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Science of Computer Programming 76(10), 915–941 (2011)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Framework for Flexible Program Evolution and Verification of Distributed Systems;Communications in Computer and Information Science;2020
2. A Flexible Framework for Program Evolution and Verification;Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development;2019
3. Proof Repositories for Compositional Verification of Evolving Software Systems;Transactions on Foundations for Mastering Change I;2016
4. A proof system for adaptable class hierarchies;Journal of Logical and Algebraic Methods in Programming;2015-01
5. Fully Abstract Operation Contracts;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014