Masked types for sound object initialization

DOI10.1145/1480881.1480890MaRDI QIDQ5261505zbMATH OpenOpenAlexFDO

Authors Xin Qi, Andrew C. Myers

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

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)

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

Cited in

(2)

• FJMIP: A Calculus for a Modular Object Initialization
• Practical void safety

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)