ACM transactions on programming languages and systems

• 

  Año 2011, Vol. 33, Número 1

  • Semantics of transactional memory and automatic mutual exclusion

    Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard

    pág. 2

    

  • Locksmith: Practical static race detection for C

    Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks

    pág. 3

    

  • Mechanically verified proof obligations for Linearizability

    John Derrick, Gerhard Schellhorn, Heike Wehrheim

    pág. 4

    

  • Environmental bisimulations for higher-order languages

    Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii

    pág. 5