Operators
- Kenneth E. Iverson
- 1979
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Publications
Date
Featured collections
Popular topics
33 results at ACM Transactions on Programming Languages and Systems (TOPLAS)
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
- Ken Kennedy
- Jayashree Ramanathan
- 1979
- ACM Transactions on Programming Languages and Systems (TOPLAS)
The Undecidability of Aliasing
- G. Ramalingam
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Static Slicing in the Presence of Goto Statements
- Jong-Deok Choi
- Jeanne Ferrante
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)
A Bounded First-in, First-Enabled Solution to the l-Exclusion Problem
- Yehuda Afek
- Danny Dolev
- et al.
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about Probabilistic Parallel Programs
- Josyula R. Rao
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Program Optimization and Parallelization Using Idioms
- Shlomit S. Pinter
- Ron Y. Pinter
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Suspension Analyses for Concurrent Logic Programs
- Michael Codish
- Moreno Falaschi
- et al.
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Scheduling Time-Critical Instructions on RISC Machines
- Krishna V. Palem
- Barbara B. Simons
- 1993
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural Optimization: Eliminating Unnecessary Recompilation
- Michael Burke
- Linda Torczon
- 1993
- ACM Transactions on Programming Languages and Systems (TOPLAS)