default search action

combined dblp search
author search
venue search
publication search

ask others

ACM Transactions on Programming Languages and Systems, Volume 35

> 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 35, Number 1, April 2013

- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Palsberg13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Palsberg13
Jens Palsberg:
Editorial. 1:1
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/RossbergD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/RossbergD13
Andreas Rossberg, Derek Dreyer:
Mixin' Up the ML Module System. 2:1-2:84
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/NandivadaSZS13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/LimR13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/Staiger-Stohr13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/NanevskiBG13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/BinkleyGHIKL13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/BotincanDJ13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/BartheKOB13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/BouajjaniE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BouajjaniE13
Ahmed Bouajjani, Michael Emmi:
Analysis of Recursively Parallel Programs. 10:1-10:49
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/StricklandDTF13
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/toplas/Lochbihler13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Lochbihler13
Andreas Lochbihler:
Making the java memory model safe. 12:1-12:65
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/SampaioSCP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/SampaioSCP13
Diogo Sampaio, Rafael Martins de Souza, Caroline Collange, Fernando Magno Quintão Pereira:
Divergence analysis. 13:1-13:36
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/NikolicS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/NikolicS13
Durica Nikolic, Fausto Spoto:
Reachability analysis of program variables. 14:1-14:68

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.