ACM Transactions on Programming Languages and Systems

Titel Veröffentlichungsdatum Sprache Zitate
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams2024/03/04English
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation2024/04/27English
A First-order Logic with Frames2023/05/15English
Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot Code2023/12/01English
A Model Checker for Operator Precedence Languages2023/09/23English
Optimization-Aware Compiler-Level Event Profiling2023/06/26English
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC2023/06/26English
A Derivative-based Parser Generator for Visibly Pushdown Grammars2023/05/15English
Passport: Improving Automated Formal Verification Using Identifiers2023/06/26English
Bit-Precise Procedure-Modular Termination Analysis2017/12/10English
ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States2019/04/26English
Optimal Choice of When to Garbage Collect2019/01/04English
Environmental Bisimulations for Probabilistic Higher-order Languages2019/10/12English
Fast interprocedural linear two-variable equalities2011/12/01English
Editorial note2011/12/01English
Editorial2012/04/01English
Message analysis for concurrent programs using message passing2006/07/01English
A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories2014/11/17English
Editorial2014/11/17English
Reactive Imperative Programming with Dataflow Constraints2014/11/17English
Essential AOP2012/10/01English
Editorial2013/04/01English
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation2016/01/04English
Foreword2017/03/23English
Technical Correspondence: Comments on Soisalon-Soininen's ``Inessential Error Entries and Their Use in LR Parser Optimization''1984/07/01English
Procedural implementation of algebraic specification1993/11/01English
A worst case of circularity test algorithms for attribute grammars1995/03/01English
A Structured APL System1982/10/01English
Corrigendum: ``External Representations of Objects of User-Defined Type''1981/01/01English
Technical Correspondence1981/10/01English