ACM Transactions on Programming Languages and Systems

Titel Veröffentlichungsdatum Sprache Zitate
Adaptive Static Analysis via Learning with Bayesian Optimization2018/11/16English
CSS Minification via Constraint Solving2019/06/19English
Editorial2019/06/10English
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth2019/11/13English
Introduction to the Special Issue on ESOP 20182019/12/10English
Editor's Foreword to “Static Backward Slicing of Non-Deterministic Programs and Systems”2018/08/25English
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK2022/09/21English
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic2021/10/31English
The Systematic Design of Responsibility Analysis by Abstract Interpretation2021/12/09English
On Time-sensitive Control Dependencies2021/12/09English
Introduction to the Special Section on ESOP 20202021/11/15English
Containerless Plurals: Separating Number from Type in Object-Oriented Programming2022/09/21English
Solving Program Sketches with Large Integer Values2022/06/30English
A Relational Program Logic with Data Abstraction and Dynamic Framing2022/12/31English
Towards Porting Operating Systems with Program Synthesis2023/03/03English
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility2022/05/27English
La prossima vita at TOPLAS2010/08/01English
Editorial: Remembrances of things past2009/05/01English
An Abstract Model of Certificate Translation2011/07/01English
Erratum to: Efficient constraint propagation engines2009/02/01English
Natural semantics as a static program analysis framework2004/05/01English
Design, implementation, and evaluation of a compilation server2007/08/01English
Introduction to special ESOP'05 issue2007/08/02English
Editorial2007/10/01English
Thinking Inside the Box2016/04/08English
Clarification of "Feeding Inputs on Demand" in Efficient Demand-Driven Evaluation Part 11986/01/02English
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms2024/02/14English
Interactive Abstract Interpretation with Demanded Summarization2024/03/29English
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages2024/03/29English
Proving Correctness of Parallel Implementations of Transition System Models2024/04/20English