First Page | Document Content | |
---|---|---|
Date: 2010-06-27 14:32:08Software engineering Computing Computer programming C Procedural programming languages Object-oriented programming languages C11 C99 Errno.h Fortran Ada ALGOL 68 | WG14 N1475 INCITS PL22.11/09-‐0002 Reply to the Attention of: Barry Hedquist Email:Add to Reading ListSource URL: www.open-std.orgDownload Document from Source WebsiteFile Size: 251,49 KBShare Document on Facebook |
Error Propagation Analysis for File Systems ∗ Cindy Rubio-González Haryadi S. Gunawi Ben Liblit Remzi H. Arpaci-Dusseau Andrea C. Arpaci-DusseauDocID: 1rrnc - View Document | |
WG14 N1475 INCITS PL22.11/09-‐0002 Reply to the Attention of: Barry Hedquist Email:DocID: 1rgqx - View Document | |
Getting Started with Coccinelle KVM edition part 1 Julia Lawall (Inria/LIP6/Irill/UPMC) http://coccinelle.lip6.frDocID: 1ps9c - View Document | |
Finding Error-Handling Bugs in Systems Code Using Static Analysis ∗ Cindy Rubio-GonzálezDocID: 1pdCq - View Document | |
FINDING ERROR-PROPAGATION BUGS IN LARGE SOFTWARE SYSTEMS USING STATIC ANALYSIS by Cindy Rubio GonzálezDocID: 1oyN0 - View Document |