Juma, Nahid; Dietl, Werner; Tripunitara, Mahesh A computational complexity analysis of tunable type inference for Generic Universe Types. (English) Zbl 1435.68059 Theor. Comput. Sci. 814, 189-209 (2020). MSC: 68N15 68N19 68Q17 68Q25 68R07 PDF BibTeX XML Cite \textit{N. Juma} et al., Theor. Comput. Sci. 814, 189--209 (2020; Zbl 1435.68059) Full Text: DOI
Jones, Cliff B.; Yatapanage, Nisansala Reasoning about separation using abstraction and reification. (English) Zbl 1366.68026 Calinescu, Radu (ed.) et al., Software engineering and formal methods. 13th international conference, SEFM 2015, York, UK, September 7–11, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22968-3/pbk; 978-3-319-22969-0/ebook). Lecture Notes in Computer Science 9276, 3-19 (2015). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{C. B. Jones} and \textit{N. Yatapanage}, Lect. Notes Comput. Sci. 9276, 3--19 (2015; Zbl 1366.68026) Full Text: DOI
Shu, Qin; Qiu, Zongyan; Wang, Shuling Confinement framework for encapsulating objects. (English) Zbl 1425.68059 Front. Comput. Sci. 7, No. 2, 236-256 (2013). MSC: 68N19 PDF BibTeX XML Cite \textit{Q. Shu} et al., Front. Comput. Sci. 7, No. 2, 236--256 (2013; Zbl 1425.68059) Full Text: DOI
Bettini, Lorenzo; Damiani, Ferruccio; Geilmann, Kathrin; Schäfer, Jan Combining traits with boxes and ownership types in a Java-like setting. (English) Zbl 1264.68046 Sci. Comput. Program. 78, No. 2, 218-247 (2013). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{L. Bettini} et al., Sci. Comput. Program. 78, No. 2, 218--247 (2013; Zbl 1264.68046) Full Text: DOI
Wang, Shuling; Shu, Qin; Liu, Yijing; Qiu, Zongyan A semantic model of confinement and locality theorem. (English) Zbl 1267.68091 Front. Comput. Sci. China 4, No. 1, 28-46 (2010). MSC: 68N19 68Q55 PDF BibTeX XML Cite \textit{S. Wang} et al., Front. Comput. Sci. China 4, No. 1, 28--46 (2010; Zbl 1267.68091) Full Text: DOI
Charguéraud, Arthur; Pottier, François Functional translation of a calculus of capabilities. (English) Zbl 1323.68099 Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 213-224 (2008). MSC: 68N18 68N15 68N19 PDF BibTeX XML Cite \textit{A. Charguéraud} and \textit{F. Pottier}, in: Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP '08, Victoria, BC, Canada, September 20--28, 2008. New York, NY: Association for Computing Machinery (ACM). 213--224 (2008; Zbl 1323.68099) Full Text: DOI
Lu, Yi; Potter, John Protecting representation with effect encapsulation. (English) Zbl 1369.68078 Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 359-371 (2006). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{Y. Lu} and \textit{J. Potter}, in: Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '06, Charleston, SC, USA, January 11--13, 2006. New York, NY: Association for Computing Machinery (ACM). 359--371 (2006; Zbl 1369.68078) Full Text: DOI
Müller, Peter; Poetzsch-Heffter, Arnd; Leavens, Gary T. Modular invariants for layered object structures. (English) Zbl 1100.68539 Sci. Comput. Program. 62, No. 3, 253-286 (2006). MSC: 68N19 PDF BibTeX XML Cite \textit{P. Müller} et al., Sci. Comput. Program. 62, No. 3, 253--286 (2006; Zbl 1100.68539) Full Text: DOI
Boyapati, Chandrasekhar; Liskov, Barbara; Shrira, Liuba Ownership types for object encapsulation. (English) Zbl 1321.68166 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’03, New Orleans, LA, USA, January 15–17, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-628-5). 213-223 (2003). MSC: 68N19 68N30 PDF BibTeX XML Cite \textit{C. Boyapati} et al., in: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '03, New Orleans, LA, USA, January 15--17, 2003. New York, NY: Association for Computing Machinery (ACM). 213--223 (2003; Zbl 1321.68166) Full Text: DOI
Clarke, David G.; Noble, James; Potter, John M. Simple ownership types for object containment. (English) Zbl 0982.68763 Lindskov Knudsen, Jørgen (ed.), ECOOP 2001 - Object-oriented programming. 15th European conference, Budapest, Hungary, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2072, 53-76 (2001). MSC: 68U99 68N19 68N15 PDF BibTeX XML Cite \textit{D. G. Clarke} et al., Lect. Notes Comput. Sci. 2072, 53--76 (2001; Zbl 0982.68763) Full Text: Link