![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
ACM Transactions on Programming Languages and Systems, Volume 40
Volume 40, Number 1, January 2018
- Hong-Yi Chen, Cristina David, Daniel Kroening
, Peter Schrammel
, Björn Wachter:
Bit-Precise Procedure-Modular Termination Analysis. 1:1-1:38 - Friedrich Steimann
:
Constraint-Based Refactoring. 2:1-2:40 - Jacob Lidman, Sally A. McKee:
Verifying Reliability Properties Using the Hyperball Abstract Domain. 3:1-3:29 - Federico Olmedo
, Friedrich Gretz, Nils Jansen
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen, Annabelle McIver
:
Conditioning in Probabilistic Programming. 4:1-4:50
Volume 40, Number 2, June 2018
- Cristina David, Pascal Kesseli, Daniel Kroening
, Matt Lewis:
Program Synthesis for Program Analysis. 5:1-5:45 - Anindya Banerjee
, David A. Naumann
, Mohammad Nikouei:
A Logical Analysis of Framing for Specifications with Pure Method Calls. 6:1-6:90 - Krishnendu Chatterjee
, Hongfei Fu
, Petr Novotný
, Rouzbeh Hasheminezhad:
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. 7:1-7:45 - Matthias Grimmer, Roland Schatz, Chris Seaton, Thomas Würthinger, Mikel Luján:
Cross-Language Interoperability in a Multi-Language Runtime. 8:1-8:43
Volume 40, Number 3, August 2018
- Krishnendu Chatterjee, Rasmus Ibsen-Jensen
, Amir Kafshdar Goharshady
, Andreas Pavlogiannis
:
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. 9:1-9:43 - Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Vincent St-Amour, Tina Kiguradze, Dennis P. West, Charlotte Niznik, Paul R. Yarnold
, Robert Bruce Findler, Steven M. Belknap:
POP-PL: A Patient-Oriented Prescription Programming Language. 10:1-10:37 - Andrew Myers:
Editor's Foreword to "Static Backward Slicing of Non-Deterministic Programs and Systems". - Sebastian Danicic, Michael R. Laurence:
Static Backward Slicing of Non-deterministic Programs and Systems. 11:1-11:46 - Bart Jacobs
, Dragan Bosnacki, Ruurd Kuiper:
Modular Termination Verification of Single-Threaded and Multithreaded Programs. 12:1-12:59 - Se-Won Kim, Xavier Rival, Sukyoung Ryu
:
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. 13:1-13:44
Volume 40, Number 4, December 2018
- Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi:
Adaptive Static Analysis via Learning with Bayesian Optimization. 14:1-14:37 - Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones
:
Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection. 15:1-15:56 - Matías Toro
, Ronald Garcia, Éric Tanter:
Type-Driven Gradual Security with References. 16:1-16:55 - Bernardo Toninho
, Nobuko Yoshida
:
Interconnectability of Session-Based Logical Processes. 17:1-17:42 - Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8. 18:1
![](https://dblp.dagstuhl.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.