![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
ACM Transactions on Programming Languages and Systems, Volume 39
Volume 39, Number 1, March 2017
- Andrew C. Myers:
Foreword. 1:1 - Nachshon Cohen, Erez Petrank:
Limitations of Partial Compaction: Towards Practical Bounds. 2:1-2:44 - Taro Sekiyama, Atsushi Igarashi
, Michael Greenberg
:
Polymorphic Manifest Contracts, Revised and Resolved. 3:1-3:36 - Jay Ligatti, Jeremy Blackburn, Michael Nachtigal:
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. 4:1-4:36 - Martin Hirzel, Scott Schneider, Bugra Gedik:
SPL: An Extensible Language for Distributed Stream Processing. 5:1-5:39
Volume 39, Number 2, May 2017
- Jade Alglave, Daniel Kroening
, Vincent Nimal, Daniel Poetzl:
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. 6:1-6:38 - Marie-Christine Jakobs
, Heike Wehrheim:
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. 7:1-7:56 - Eva Darulova
, Viktor Kuncak
:
Towards a Compiler for Reals. 8:1-8:28 - Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu:
Newtonian Program Analysis via Tensor Product. 9:1-9:72
Volume 39, Number 3, July 2017
- Thomas H. Austin
, Thomas Schmitz, Cormac Flanagan:
Multiple Facets for Dynamic Information Flow with Exceptions. 10:1-10:56 - Colin S. Gordon
, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson:
Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. 11:1-11:54 - Yanhong A. Liu, Scott D. Stoller, Bo Lin:
From Clarity to Efficiency for Distributed Algorithms. 12:1-12:41 - Silvia Crafa, Luca Padovani
:
The Chemical Approach to Typestate-Oriented Programming. 13:1-13:45
Volume 39, Number 4, September 2017
- Jacques-Henri Jourdan
, François Pottier:
A Simple, Possibly Correct LR Parser for C11. 14:1-14:36 - Vojtech Forejt, Saurabh Joshi, Daniel Kroening
, Ganesh Narayanaswamy, Subodh Sharma:
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. 15:1-15:27 - Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Sound Non-Statistical Clustering of Static Analysis Alarms. 16:1-16:35 - Phil Trinder
, Natalia Chechina, Nikolaos Papaspyrou
, Konstantinos Sagonas
, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós
, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad:
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. 17:1-17:46 - Danfeng Zhang
, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones:
SHErrLoc: A Static Holistic Error Locator. 18:1-18:47
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.