ACM Transactions on Programming Languages and Systems, Volume 33

Volume 33, Number 1, January 2011

• Jens Palsberg:
  Editorial. 1
  
• Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard:
  Semantics of transactional memory and automatic mutual exclusion. 2
  
• Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks:
  LOCKSMITH: Practical static race detection for C. 3
  
• John Derrick, Gerhard Schellhorn, Heike Wehrheim:
  Mechanically verified proof obligations for linearizability. 4
  
• Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii:
  Environmental bisimulations for higher-order languages. 5
  

Volume 33, Number 2, January 2011

• Shan Shan Huang, Yannis Smaragdakis:
  Morphing: Structurally shaping a class by reflecting on others. 6
  
• Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann:
  Automated termination proofs for haskell by term rewriting. 7
  
• Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis:
  Refinement types for secure implementations. 8
  

Volume 33, Number 3, April 2011

• Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter:
  Refactoring using type constraints. 9
  
• Utpal Banerjee:
  Mathematical foundation of trace scheduling. 10
  
• Thomas Martin Gawlitza, Helmut Seidl:
  Solving systems of rational equations through strategy iteration. 11
  

Volume 33, Number 4, July 2011

• Stefan Wehr, Peter Thiemann:
  JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. 12
  
• Gilles Barthe, César Kunz:
  An Abstract Model of Certificate Translation. 13
  
• Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
  A Theory of Synchronous Relational Interfaces. 14
  

Volume 33, Number 5, November 2011

• Rajeev Alur, Swarat Chaudhuri, P. Madhusudan:
  Software model checking using languages of nested trees. 15
  
• Christos Dimoulas, Matthias Felleisen:
  On contract satisfaction in a higher-order world. 16
  
• Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori:
  Bottom-up shape analysis using LISF. 17
  

Volume 33, Number 6, December 2011

• Jens Palsberg:
  Editorial note. 18
  
• Mingsheng Ying:
  Floyd-hoare logic for quantum programs. 19
  
• Werner Dietl, Sophia Drossopoulou, Peter Müller:
  Separating ownership topology and encapsulation with generic universe types. 20
  
• Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl:
  Fast interprocedural linear two-variable equalities. 21
  

Last update Sat May 25 17:02:30 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page