ACM transactions on programming languages and systems

• 

  Año 2014, Vol. 36, Número 1. Texto Completo Ejemplar

  • Extending Type Inference to Variational Programs

    Sheng Chen, Martin Erwig, Eric Walkingshaw

    • Resumen
    • Texto completo
    

  • Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach

    Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich

    • Resumen
    • Texto completo
    

  • Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations

    Hongjin Liang, Xinyu Feng, Ming Fu

    • Resumen
    • Texto completo
    

  • Formal Verification of an SSA-Based Middle-End for CompCert

    Gilles Barthe, Delphine Demange, David Pichardie

    • Resumen
    • Texto completo