default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM 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
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.
last updated on 2025-10-29 01:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
