Author:
Zibin Yoav,Cunningham David,Peshansky Igor,Saraswat Vijay
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Bocchino Jr., R.L., Adve, V.S., Dig, D., Adve, S.V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H., Vakilian, M.: A type and effect system for deterministic parallel java. In: OOPSLA 2009, pp. 97–116. ACM, New York (2009)
2. Dean, D., Felten, E., Wallach, D.S.: Java security: From hotjava to netscape and beyond. In: IEEE Symposium on Security and Privacy, pp. 190–200 (1996)
3. Fähndrich, M., Leino, K.R.M.: Declaring and checking non-null types in an object-oriented language. In: OOPSLA 2003, pp. 302–312 (2003)
4. Fähndrich, M., Xia, S.: Establishing object invariants with delayed types. In: OOPSLA 2007, pp. 337–350 (2007)
5. Lecture Notes in Computer Science;J. Gil,1998
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model;Proceedings of the ACM on Programming Languages;2022-10-31
2. Safe object initialization, abstractly;Proceedings of the 12th ACM SIGPLAN International Symposium on Scala;2021-10-17
3. A type-and-effect system for object initialization;Proceedings of the ACM on Programming Languages;2020-11-13
4. Initialization patterns in Dotty;Proceedings of the 9th ACM SIGPLAN International Symposium on Scala;2018-09-17
5. Grace's Inheritance.;The Journal of Object Technology;2017