ACM Transactions on Programming Languages and Systems

Titel Veröffentlichungsdatum Sprache Zitate
A note on Cohen's “eliminating redundant recursive calls”1985/10/01English
Corrigendum: ``The Design and Application of a Retargetable Peephole Optimizer''1981/01/01English
Corrigenda1983/10/01English
Parallel programming with control abstraction1994/05/01English
On minimizing materializations of array-valued temporaries2006/11/01English
Editorial2007/05/01English
Editorial2011/01/01English
An optimization framework for embedded processors with auto-addressing mode2010/04/01English
Detecting bugs in register allocation2010/04/01English
La dolce vita at TOPLAS2010/04/01English
An accurate cost model for guiding data locality transformations2005/09/01English
Polymorphic specialization for ML2004/07/01English
Guest editorial2004/09/01English
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types2022/07/15English
Runtime Complexity Bounds Using Squeezers2022/07/15English
Introduction to the Special Issue on ESOP 20212022/07/15English
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications2023/09/23English
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq2023/07/20English
Immutability and Encapsulation for Sound OO Information Flow Control2023/03/03English
Two Parametricities Versus Three Universal Types2022/09/21English
LoRe: A Programming Model for Verifiably Safe Local-first Software2024/01/15English
Contextual Linear Types for Differential Privacy2023/05/17English
Multiple Input Parsing and Lexical Analysis2023/07/19English
A Fresh Look at Zones and Octagons2021/09/03English
Strong-separation Logic2022/07/15English
Bounded Abstract Effects2022/01/12English
Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 162020/05/19English
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences2020/12/07English
A Classical Sequent Calculus with Dependent Types2019/03/15English
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. 82018/11/16English