Author:
Cheon Yoonsik,Leavens Gary,Sitaraman Murali,Edwards Stephen
Reference26 articles.
1. Applying 'design by contract'
2. Object-Orient;Meyer,1992
3. Object-oriented Software Construction (2nd edn). Prentice-Hall: New York, 1997.
4. Design by Contract by Example. Addison-Wesley: Indianapolis, IN, 2002.
5. The algebraic specification of abstract data types
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pairing Human and Artificial Intelligence: Enforcing Access Control Policies with LLMs and Formal Specifications;Proceedings of the 29th ACM Symposium on Access Control Models and Technologies;2024-06-24
2. Design by Contract for Deep Learning APIs;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. Analysis and Formal Specification of OpenJDK’s BitSet;iFM 2023;2023-11-06
4. Verification of mutable linear data structures and iterator-based algorithms in Dafny;Journal of Logical and Algebraic Methods in Programming;2023-08
5. Design Assertions: Executable Assertions for Design Constraints;Computational Science and Its Applications – ICCSA 2022 Workshops;2022