A Problem-Reduction Approach to Proving Simulation Between Programs
- Alexander Birman
- William H. Joyner
- 1976
- IEEE TSE
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
24 results at IEEE TSE
Distributing a Data Base with Logical Associations on a Computer Network for Parallel Searching
- Sakti P. Ghosh
- 1976
- IEEE TSE
Structured Programming With and Without GO TO Statements
- Calvin C. Elgot
- 1976
- IEEE TSE
A Picture-Building System
- Robin Williams
- Gary M. Giddings
- 1976
- IEEE TSE