Author:
Bierhoff Kevin,Beckman Nels E.,Aldrich Jonathan
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Lecture Notes in Computer Science;T. Ball,2001
2. Barnett, M., DeLine, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology 3(6), 27–56 (2004)
3. Beckman, N.E., Bierhoff, K., Aldrich, J.: Verifying correct usage of Atomic blocks and typestate. In: ACM Conference on Object-Oriented Programming, Systems, Languages & Applications, October 2008, pp. 227–244 (2008)
4. Bierhoff, K.: Iterator specification with typestates. In: 5th International Workshop on Specification and Verification of Component-Based Systems, pp. 79–82. ACM Press, New York (2006)
5. Bierhoff, K.: API Protocol Compliance in Object-Oriented Software. PhD thesis, Carnegie Mellon University, School of Computer Science (April 2009)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Building a Framework to Improve the User Experience of Static Analysis Tools;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
2. Clog: A Declarative Language for C Static Code Checkers;Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction;2024-02-17
3. Coconut: Typestates for Embedded Systems;Lecture Notes in Computer Science;2024
4. FUM - A Framework for API Usage constraint and Misuse Classification;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03
5. Theorems for free from separation logic specifications;Proceedings of the ACM on Programming Languages;2021-08-22