ACM transactions on programming languages and systems

• 

  Año 2015, Vol. 37, Número 2. Texto Completo Ejemplar

  • MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming

    Michael Frechtling, Philip H. W. Leong

    • Resumen
    • Texto completo
    

  • Secure Compilation to Protected Module Architectures

    Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens

    • Resumen
    • Texto Completo Ejemplar
    

  • Verification of a Cryptographic Primitive: SHA-256

    Andew W. Appel

    • Resumen
    • Texto completo