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

    
• 

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

  • Morphing: Structurally shaping a class by reflecting on others

    Shan Shan Huang, Yannis Smaragdakis

    pág. 6

    

  • Automated termination proofs for haskell by term rewriting

    Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann

    pág. 7

    

  • Refinement types for secure implementations

    Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis

    pág. 8

    
• 

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

  • Refactoring using type constraints

    F. Tip, Robert M. Fuhrer, A. Kiezun, M. D. Ernst, I. Balaban, B. De Sutter

    pág. 9

    

  • Mathematical foundation of trace scheduling

    Utpal Banerjee

    pág. 10

    

  • Solving systems of rational equations through strategy iteration

    T. M. Gawlitza, Helmut Seidl

    pág. 11

    
• 

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

  • JavaGI: The Interaction of Type Classes with Interfaces and Inheritance

    Stephan Wehr, Peter Thiemann

    

  • An Abstract Model of Certificate Translation

    Gilles Barthe, César Kunz

    

  • A Theory of Synchronous Relational Interfaces

    Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee

    
• 

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

  • Software model checking using languages of nested trees

    Rajeev Alur, Swarat Chaudhuri, P. Madhusudan

    • Resumen
    

  • On contract satisfaction in a higher-order world

    Christos Dimoulas, Matthias Felleisen

    • Resumen
    

  • Bottom-up shape analysis using LISF

    Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori

    
• 

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

  • Floyd-Hoare logic for quantum programs

    Mingsheng Ying

    • Resumen
    

  • Separating ownership topology and encapsulation with generic universe types

    Werner Dietl, Sophia Drossopoulou, Peter Müller

    • Resumen
    

  • Fast interprocedural linear two-variable equalities

    Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl

    • Resumen