ACM transactions on programming languages and systems

• 

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

  • Specialization Slicing

    Min Aung, Susan Horwitz, Rich Joiner, Thomas Reps

    • Resumen
    • Texto completo
    

  • Atomicity Refinement for Verified Compilation

    Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek

    • Resumen
    • Texto completo
    

  • Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory

    Jade Alglave, Luc Maranget, Michael Tautschnig

    • Resumen
    • Texto completo