ACM Transactions on Programming Languages and Systems

Title Publication Date Language Citations
High-Level Language Implications of the Proposed IEEE Floating-Point Standard1982/04/01English
Compact Storage of Binary Trees1982/07/01English
Compilation of Acyclic Smooth Programs for Parallel Execution1981/01/01English
Compile-time memory reuse in logic programming languages through update in place1999/05/01English
Guest editor's introduction to the special section on the third international conference on computer languages1992/04/01English
Subtypes and quantification1991/10/01English
Tichy's response to R. W. Schwanke and G. E. Kaiser's “Smarter Recompilation”1988/10/01English
ACM Algorithms Policy1982/07/01English
The ML approach to the readable all-purpose language1986/04/01English
Comments on Georgeff's “transformations and reduction strategies for typed lambda expressions”1986/06/01English
A Flexible Notation for Syntactic Definitions1982/01/01English
Technical Correspondence: On Steensgaard-Madsen's ``A Statement-Oriented Approach to Data Abstraction''1982/01/01English
Technical Correspondence1981/04/01English
Technical Correspondence: Steensgaard-Madsen's reply1982/01/01English
A short proof of a conjecture of De Remer and Pennello1986/04/01English
ACM Algorithms Policy1984/07/01English
Technical correspondence1993/01/01English
Strictness optimization for graph reduction machines (why id might not be strict)1994/09/01English
A linear-time scheme for version reconstruction1994/05/01English
Jump Minimization in Linear Time1984/10/01English
Some comments on “a denotational semantics for Prolog”1994/05/01English
Type checking concurrent I/O1995/05/01English
Technical Correspondence: On Tanenbaum, van Staveren, and Stevenson's ``Using Peephole Optimization on Intermediate Code''1983/07/01English
On iterative constructs1990/01/03English
Search direction by goal failure in goal-oriented programming1990/04/01English
Technical Correspondence: On LaLonde and des Rivieres' ``Handling Operator Precedence in Arithmetic Expressions with Tree Transformations''1983/01/01English
Guest editorial2002/03/01English
A note on “On the conversion of indirect to direct recursion”1997/11/01English
ACM Algorithms Policy1983/07/01English
Guest Editor's Introduction1983/07/01English