Author:
Müller Peter,Poetzsch-Heffter Arnd,Leavens Gary T.
Reference53 articles.
1. Proof of correctness of data representations;Hoare;Acta Informatica,1972
2. Dynamically discovering likely program invariants to support program evolution;Ernst;IEEE Transactions on Software Engineering,2001
3. Modular Specification and Verification of Object-Oriented programs;Müller,2002
4. Abstraction and Specification in Program Development;Liskov,1986
5. A behavioral notion of subtyping;Liskov;ACM Transactions on Programming Languages and Systems,1994
Cited by
71 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Concept of Class Invariant in Object-oriented Programming;Formal Aspects of Computing;2024-03-20
2. Monitoring Association Constraints in Model-Oriented Programming;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
3. Verification of mutable linear data structures and iterator-based algorithms in Dafny;Journal of Logical and Algebraic Methods in Programming;2023-08
4. Using capabilities for strict runtime invariant checking;Science of Computer Programming;2022-12
5. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022