Author:
Haack Christian,Poll Erik
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. 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)
2. Bierhoff, K., Aldrich, J.: Modular typestate verification of aliased objects. In: OOPSLA, pp. 301–320 (2007)
3. Bloch, J.: Effective Java. Addison-Wesley, Reading (2001)
4. Boyapati, C.: SafeJava: A Unified Type System for Safe Programming. Ph.D thesis, MIT (2004)
5. Lecture Notes in Computer Science;J. Boyland,2003
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract;Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management;2024-06-20
2. Resolving the Java Representation Exposure Problem with an AST-Based Deep Copy and Flexible Alias Ownership System;Electronics;2024-01-14
3. ιDOT: a DOT calculus with object initialization;Proceedings of the ACM on Programming Languages;2020-11-13
4. Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability;Computer Information Systems and Industrial Management;2019
5. Interdisciplinary programming language design;Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2018-10-24