ACM Transactions on Programming Languages and Systems

Title Publication Date Language Citations
The Construction of Stack-Controlling LR Parsers for Regular Right Part Grammars1981/04/01English1
On the (non-) relationship between SLR(1) and NQLALR(1) grammars1988/04/01English1
Implementing signatures for C++1997/01/01English1
On failure of the pruning technique in “Error repair in shift-reduce parsers”1999/01/01English1
Production trees: a compact representation of parsed programs1990/01/03English1
ECCS and LIPS: two languages for OSI systems specification and verification1989/04/01English1
An improved storage management scheme for block structured languages1991/07/01English1
A Coroutine Approach to Parsing1980/07/01English1
Graph translation schemes to generate compiler parts1987/10/01English1
Linking programs incrementally1991/01/01English1
Table compression for tree automata1991/07/01English1
Combinatory formulations of concurrent languages1997/11/01English1
Path analysis and the optimization of nonstrict functional languages1994/05/01English1
A Type Discipline for Message Passing Parallel Programs2022/12/21English1
For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM2022/07/15English1
Choral: Object-oriented Choreographic Programming2024/01/16English1
Automatic discovery of covariant read-only fields2005/01/01English1
Comparing conservative coalescing criteria2005/05/01English1
Transactional Sapphire2018/12/10English1
Active Learning for Inference and Regeneration of Applications that Access Databases2020/12/31English1
DRF x2016/09/15English1
Limitations of Partial Compaction2017/03/06English1
On exponential-time completeness of the circularity problem for attribute grammars2004/01/01English1
A methodology for synthesis of recursive functional programs1987/07/01English1
Extending attribute grammars to support programming-in-the-large1994/09/01English1
Cliché-based program editors1994/01/01English1
Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery1984/04/01English1
Matching-based incremental evaluators for hierarchical attribute grammar dialects1995/03/01English1
Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic1984/04/01English1
A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/ CS1979/01/01English1