default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems, Volume 34
Volume 34, Number 1, April 2012
- Jens Palsberg:
Editorial. 1:1 - Jan Smans, Bart Jacobs
, Frank Piessens:
Implicit dynamic frames. 2:1-2:58 - Lakshminarayanan Renganarayanan, DaeGon Kim, Michelle Mills Strout, Sanjay V. Rajopadhye:
Parameterized loop tiling. 3:1-3:41 - Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek:
A data-centric approach to synchronization. 4:1-4:48 - Xing Wu, Frank Mueller:
ScalaExtrap: Trace-based communication extrapolation for SPMD programs. 5:1-5:29 - Pierre Ganty, Rupak Majumdar:
Algorithmic verification of asynchronous programs. 6:1-6:48
Volume 34, Number 2, June 2012
- Eric Bodden, Patrick Lam, Laurie J. Hendren:
Partially Evaluating Finite-State Runtime Monitors Ahead of Time. 7:1-7:52 - Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Communication-Centered Programming for Web Services. 8:1-8:78 - Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti:
On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code. 9:1-9:42 - Gérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano:
Reasoning about Web Applications: An Operational Semantics for HOP. 10:1-10:40
Volume 34, Number 3, October 2012
- Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe:
Equivalence checking of static affine programs using widening to handle recurrences. 11:1-11:35 - Bruno De Fraine, Erik Ernst, Mario Südholt:
Essential AOP: The a calculus. 12:1-12:43 - Anna Bendersky, Erez Petrank:
Space overhead bounds for dynamic memory management with partial compaction. 13:1-13:43 - Jan Hoffmann, Klaus Aehlig, Martin Hofmann:
Multivariate amortized resource analysis. 14:1-14:62
Volume 34, Number 4, December 2012
- Maartje de Jonge, Lennart C. L. Kats, Eelco Visser, Emma Söderberg:
Natural and Flexible Error Recovery for Generated Modular Language Environments. 15:1-15:50 - Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud:
On the Termination of Integer Loops. 16:1-16:24 - Yuan Feng, Runyao Duan, Mingsheng Ying:
Bisimulation for Quantum Processes. 17:1-17:43
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 2024-11-08 20:36 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:
