Practical void safety

DOI10.1007/978-3-319-72308-2_9MaRDI QIDQ1630035zbMATH OpenOpenAlexFDO

Authors Alexander Kogtenkov

Publication date 7 December 2018

Full work available at URL http://mais-journal.ru/jour/article/view/609

zbMATH Keywords

null pointer dereferencingnull safetyobject initializationstatic analysis library-level modularityvoid safety

Mathematics Subject Classification ID

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

Recommendations

• Avoid a void: The eradication of null dereferencing
• Masked types for sound object initialization
• Behavioural types for memory and method safety in a core object-oriented language
• A type system for static and dynamic checking of C++ pointers
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors

Cited in

(2)

• Avoid a void: The eradication of null dereferencing
• Masked types for sound object initialization

This page was built for publication: Practical void safety

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