![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
ACM Transactions on Programming Languages and Systems, Volume 33
Volume 33, Number 1, January 2011
- Jens Palsberg:
Editorial. 1:1 - Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard:
Semantics of transactional memory and automatic mutual exclusion. 2:1-2:50 - Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks:
LOCKSMITH: Practical static race detection for C. 3:1-3:55 - John Derrick
, Gerhard Schellhorn, Heike Wehrheim:
Mechanically verified proof obligations for linearizability. 4:1-4:43 - Davide Sangiorgi, Naoki Kobayashi
, Eijiro Sumii:
Environmental bisimulations for higher-order languages. 5:1-5:69
Volume 33, Number 2, January 2011
- Shan Shan Huang, Yannis Smaragdakis:
Morphing: Structurally shaping a class by reflecting on others. 6:1-6:44 - Jürgen Giesl
, Matthias Raffelsieper, Peter Schneider-Kamp
, Stephan Swiderski, René Thiemann
:
Automated termination proofs for haskell by term rewriting. 7:1-7:39 - Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
:
Refinement types for secure implementations. 8:1-8:45
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:1-9:47 - Utpal Banerjee:
Mathematical foundation of trace scheduling. 10:1-10:24 - Thomas Martin Gawlitza, Helmut Seidl:
Solving systems of rational equations through strategy iteration. 11:1-11:48
Volume 33, Number 4, July 2011
- Stefan Wehr, Peter Thiemann:
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. 12:1-12:83 - Gilles Barthe
, César Kunz:
An Abstract Model of Certificate Translation. 13:1-13:46 - Stavros Tripakis
, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
:
A Theory of Synchronous Relational Interfaces. 14:1-14:41
Volume 33, Number 5, November 2011
- Rajeev Alur, Swarat Chaudhuri, P. Madhusudan:
Software model checking using languages of nested trees. 15:1-15:45 - Christos Dimoulas
, Matthias Felleisen:
On contract satisfaction in a higher-order world. 16:1-16:29 - Bhargav S. Gulavani, Supratik Chakraborty
, G. Ramalingam, Aditya V. Nori:
Bottom-up shape analysis using LISF. 17:1-17:41
Volume 33, Number 6, December 2011
- Jens Palsberg:
Editorial note. 18:1 - Mingsheng Ying
:
Floyd-hoare logic for quantum programs. 19:1-19:49 - Werner Dietl, Sophia Drossopoulou, Peter Müller:
Separating ownership topology and encapsulation with generic universe types. 20:1-20:62 - Andrea Flexeder, Markus Müller-Olm, Michael Petter, Helmut Seidl:
Fast interprocedural linear two-variable equalities. 21:1-21:33
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.