Operators
- Kenneth E. Iverson
- 1979
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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)