A Problem-Reduction Approach to Proving Simulation Between Programs
- Alexander Birman
- William H. Joyner
- 1976
- IEEE TSE
Publications
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