Exposing uninitialized variables: Strengthening and extending run-time checks in Ada

DOI10.1007/3-540-48046-3_15MaRDI QIDQ3045868zbMATH OpenFDO

Authors Robert B. K. Dewar, Olivier Hainque, D. Craeynest, Philippe Waroquiers

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2361/23610193.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• New developments in Ada 95 run-time profile definitions and language refinements
• DataFAN: A practical approach to data flow analysis for Ada 95
• Eliminating redundant range checks in GNAT using symbolic evaluation
• Using the SPARK toolset for showing the absence of run-time errors in safety-critical software
• scientific article; zbMATH DE number 1031980

Cited in

(1)

• Eliminating redundant range checks in GNAT using symbolic evaluation

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: Exposing uninitialized variables: Strengthening and extending run-time checks in Ada

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