C

2 Entries

  • Language(s)
  • C9 Lectures: Mahmoud Saleh - Advanced CRT 1 of 2
    1 hour, 6 minutes, 36 seconds
    C9 Lectures: Mahmoud Saleh - Advanced CRT 1 of 2
    C9 Lectures: Mahmoud Saleh - Advanced CRT Oct 06, 2011 at 10:22 AM Comments 30

    Avg Rating: 5

    (11)
    You first met Mahmoud Saleh in an episode of C9::GoingNative covering CRT (C Run-time Library). Mahmoud is the keeper of the CRT(C Run-time Library) at Microsoft, working on the VC++ team as a software engineer. The information presented in that GoingNative episode was introductory…
  • Michal Moskal - VCC, The Verifying C Compiler
    22 minutes, 4 seconds
    Michal Moskal - VCC, The Verifying C Compiler
    Peli at RiSE Jan 30, 2009 at 2:25 AM Comments 0

    Avg Rating: 5

    (3)
    Michal Moskal gives us a short introduction at the Verifying C Compiler (VCC) project. VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type…
Creative Commons License

© 2013 Microsoft. Except where designated as licensed by
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License,
Microsoft reserves all rights associated with the materials on this site.