Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

ACM Transactions on Programming Languages and Systems, Volume 34

> Home > Journals > ACM Transactions on Programming Languages and Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 34, Number 1, April 2012

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Palsberg12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Palsberg12
Jens Palsberg:
Editorial. 1:1
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SmansJP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SmansJP12
Jan Smans, Bart Jacobs, Frank Piessens:
Implicit dynamic frames. 2:1-2:58
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/RenganarayananKSR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/RenganarayananKSR12
Lakshminarayanan Renganarayanan, DaeGon Kim, Michelle Mills Strout, Sanjay V. Rajopadhye:
Parameterized loop tiling. 3:1-3:41
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/DolbyHMTVV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/DolbyHMTVV12
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek:
A data-centric approach to synchronization. 4:1-4:48
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/WuM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/WuM12
Xing Wu, Frank Mueller:
ScalaExtrap: Trace-based communication extrapolation for SPMD programs. 5:1-5:29
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/GantyM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/GantyM12
Pierre Ganty, Rupak Majumdar:
Algorithmic verification of asynchronous programs. 6:1-6:48

Volume 34, Number 2, June 2012

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BoddenLH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BoddenLH12
Eric Bodden, Patrick Lam, Laurie J. Hendren:
Partially Evaluating Finite-State Runtime Monitors Ahead of Time. 7:1-7:52
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/CarboneHY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/CarboneHY12
Marco Carbone, Kohei Honda, Nobuko Yoshida:
Structured Communication-Centered Programming for Web Services. 8:1-8:78
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/JoishaSBBC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JoishaSBBC12
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
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BoudolLRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BoudolLRS12
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

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/VerdoolaegeJB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/VerdoolaegeJB12
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe:
Equivalence checking of static affine programs using widening to handle recurrences. 11:1-11:35
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/FraineES12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/FraineES12
Bruno De Fraine, Erik Ernst, Mario Südholt:
Essential AOP: The a calculus. 12:1-12:43
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BenderskyP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BenderskyP12
Anna Bendersky, Erez Petrank:
Space overhead bounds for dynamic memory management with partial compaction. 13:1-13:43
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/0002AH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/0002AH12
Jan Hoffmann, Klaus Aehlig, Martin Hofmann:
Multivariate amortized resource analysis. 14:1-14:62

Volume 34, Number 4, December 2012

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/JongeKVS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/JongeKVS12
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
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Ben-AmramGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Ben-AmramGM12
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud:
On the Termination of Integer Loops. 16:1-16:24
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/FengDY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/FengDY12
Yuan Feng, Runyao Duan, Mingsheng Ying:
Bisimulation for Quantum Processes. 17:1-17:43

a service of

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.