External Links

Journal: ACM Transactions on Programming Languages and Systems

Volume 33, Issue 6

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

Volume 33, Issue 5

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

Volume 33, Issue 4

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

Volume 33, Issue 3

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

Volume 33, Issue 2

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

Volume 33, Issue 1

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