Stop the war!
Остановите войну!
for scientists:
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
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.