A type system for static and dynamic checking of C++ pointers

DOI10.1016/j.cl.2004.05.002zbMath1062.68032OpenAlexW2016477192MaRDI QIDQ1767975

Giuseppe Della Penna

Publication date: 8 March 2005

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2004.05.002

zbMATH Keywords

C++Type systemsCode safetyLegacy codePointer analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• ESC/Java
• CCured

Cites Work

• Evolving Algebras 1993: Lipari Guide
• CCured

This page was built for publication: A type system for static and dynamic checking of C++ pointers