Masked types for sound object initialization

DOI10.1145/1480881.1480890zbMATH Open1315.68043OpenAlexW2065266923MaRDI QIDQ5261505FDOQ5261505

Andrew C. Myers, Xin Qi

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480890

Recommendations

• FJMIP: A Calculus for a Modular Object Initialization
• Practical void safety
• Initialization problems for Java
• Object type constructors
• Behavioural types for memory and method safety in a core object-oriented language

zbMATH Keywords

invariantsdata abstractioncyclic data structuresconditional masksnull pointer exceptions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (1)

• FJMIP: A Calculus for a Modular Object Initialization

This page was built for publication: Masked types for sound object initialization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261505)