ask others

ACM Transactions on Programming Languages and Systems, Volume 35

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

Volume 35, Number 1, April 2013

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/Palsberg13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/Palsberg13
Jens Palsberg:
Editorial. 1:1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/RossbergD13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/RossbergD13
Andreas Rossberg, Derek Dreyer:
Mixin' Up the ML Module System. 2:1-2:84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/NandivadaSZS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/NandivadaSZS13
V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar:
A Transformation Framework for Optimizing Task-Parallel Programs. 3:1-3:48
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/LimR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/LimR13
Junghee Lim, Thomas W. Reps:
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis. 4:1-4:59
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/Staiger-Stohr13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/Staiger-Stohr13
Stefan Staiger-Stöhr:
Practical Integrated Analysis of Pointers, Dataflow and Control Flow. 5:1-5:48

Volume 35, Number 2, July 2013

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/NanevskiBG13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/NanevskiBG13
Aleksandar Nanevski, Anindya Banerjee, Deepak Garg:
Dependent Type Theory for Verification of Information Flow and Access Control Policies. 6:1-6:41
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/BinkleyGHIKL13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/BinkleyGHIKL13
David W. Binkley, Nicolas Gold, Mark Harman, Syed S. Islam, Jens Krinke, Zheng Li:
Efficient Identification of Linchpin Vertices in Dependence Clusters. 7:1-7:35
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/BotincanDJ13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/BotincanDJ13
Matko Botincan, Mike Dodds, Suresh Jagannathan:
Proof-Directed Parallelization Synthesis by Separation Logic. 8:1-8:60

Volume 35, Number 3, November 2013

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/BartheKOB13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/BartheKOB13
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin:
Probabilistic Relational Reasoning for Differential Privacy. 9:1-9:49
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/BouajjaniE13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/BouajjaniE13
Ahmed Bouajjani, Michael Emmi:
Analysis of Recursively Parallel Programs. 10:1-10:49
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/StricklandDTF13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/StricklandDTF13
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen:
Contracts for First-Class Classes. 11:1-11:58

Volume 35, Number 4, December 2013

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/Lochbihler13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/Lochbihler13
Andreas Lochbihler:
Making the java memory model safe. 12:1-12:65
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/SampaioSCP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/SampaioSCP13
Diogo Sampaio, Rafael Martins de Souza, Sylvain Collange, Fernando Magno Quintão Pereira:
Divergence analysis. 13:1-13:36
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/NikolicS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/NikolicS13
Durica Nikolic, Fausto Spoto:
Reachability analysis of program variables. 14:1-14:68

maintained by

, founded at