First Page | Document Content | |
---|---|---|
![]() Date: 2012-06-11 00:51:55Axiom C++ Cross-platform software Procedural programming languages Global variable External variable Static variable C++ classes Function Software engineering Computing Mathematics | Source URL: axiom-developer.orgDownload Document from Source WebsiteFile Size: 1,03 MBShare Document on Facebook |
![]() | Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-GonzálezDocID: 1rihM - View Document |
![]() | Static Analysis of Programs with Imprecise Probabilistic Inputs Assale Adje2 , Olivier Bouissou1 , Jean Goubault-Larrecq2 , Eric Goubault1 , and Sylvie Putot1 1 CEA LISTDocID: 1qTgm - View Document |
![]() | Microsoft Word - Asiedu_et_al.docxDocID: 1qEVZ - View Document |
![]() | B U L L E T I N Static Frequency ConverterkVADocID: 1mizB - View Document |
![]() | A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail AugustonDocID: 1m1bm - View Document |