Avoid a void: The eradication of null dereferencing

DOI10.1007/978-1-84882-912-1_9MaRDI QIDQ3163404zbMATH OpenOpenAlexFDO

Authors Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf

Publication date 26 October 2010

Published in Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-912-1_9

zbMATH Keywords

object-oriented programs

Mathematics Subject Classification ID

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

Recommendations

• Practical void safety
• CCured, type-safe retrofitting of legacy code
• Behavioural types for memory and method safety in a core object-oriented language
• A type system for static and dynamic checking of C++ pointers
• scientific article; zbMATH DE number 1962745

Cited in

(2)

• Practical void safety
• Programmed deallocation without dangling reference

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: Avoid a void: The eradication of null dereferencing

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