Back to Results
First PageMeta Content
Software bugs / Memory management / Data types / Uninitialized variable / Type theory / C / Ada / Reference / Scalar / Computing / Software engineering / Computer programming


Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada Robert Dewar1 , Olivier Hainque2 , Dirk Craeynest3 , and Philippe Waroquiers3 1
Add to Reading List

Document Date: 2011-12-15 14:00:53

Open Document

File Size: 139,40 KB

Share Result on Facebook

City

Reading / Brussels / /

Company

CFMU / Ada Core Technologies / Microsoft / HP / /

Country

Belgium / /

/

IndustryTerm

large and robust applications / flight plan processing / temporary solution / optimization algorithms / numeric algorithms / large applications / air traffic flow management / safetycritical applications / safety-critical applications / /

OperatingSystem

GNU / Windows NT / HP-UX / /

Person

Normalize Scalars / /

Position

representative / /

Technology

numeric algorithms / optimization algorithms / /

SocialTag