ACM Transactions on Programming Languages and Systems

Title Publication Date Language Citations
Technical Correspondence: On Francez's ``Distributed Termination''1981/01/01English2
Automatic generation and use of abstract structure operators1991/10/01English2
Generation of LR parsers by partial evaluation2000/03/01English2
Using dataflow analysis techniques to reduce ownership overhead in cache coherence protocols1996/11/01English2
Sublinear-space evaluation algorithms for attribute grammars1987/07/01English2
An evaluation of an automatically generated compiler1995/09/01English2
Efficient high-level iteration with accumulators1989/04/01English2
On the optimality of change propagation for incremental evaluation of hierarchical attribute grammars1996/01/01English2
Backtracking without trailing in CLP (ℜ Lin )1995/07/01English2
Determinacy testing for nondeterminate logic programming languages1994/01/01English2
Specification and verification of liveness properties of cyclic, concurrent processes1988/01/01English2
On Kilbury's modification of Earley's algorithm1990/10/01English2
Retargetable microcode synthesis1987/03/20English2
Unassigned objects1984/10/01English2
Encapsulation constructs in systems programming languages1984/04/01English2
“Maximal-munch” tokenization in linear time1998/03/01English2
A further note on Hennessy's “Symbolic debugging of optimized code”1993/04/01English2
The Compilation of Loop Induction Expressions1979/01/01English2
Algorithm 568: PDS–A Portable Directory System1981/04/01English2
A Space Efficient Dynamic Allocation Algorithm for Queuing Messages1979/10/01English2
Lazy and incremental program generation1994/05/01English2
Communicating Sequential Processes for Centralized and Distributed Operating System Design1984/04/01English2
Transformational Derivation of a Garbage Collection Algorithm1982/10/01English2
Conversion from data-driven to synchronous execution in loop programs1987/10/01English2
Technical Correspondence: On Apt, Francez, and de Roever's ``A Proof System for Communicating Sequential Processes''1983/07/01English2
Types for Complexity of Parallel Computation in Pi-calculus2022/07/15English2
Fast partial evaluation of pattern matching in strings2006/07/01English2
Calculational semantics2006/07/01English2
Pretty printing with lazy dequeues2005/01/01English2
Static Backward Slicing of Non-deterministic Programs and Systems2018/08/25English2