Form and Content in Computer Science (1970 ACM turing lecture)
Journal of the ACM (JACM)
A Survey of Parallel Machine Organization and Programming
ACM Computing Surveys (CSUR)
Implications of structured programming for machine architecture
Communications of the ACM
Formal verification of parallel programs
Communications of the ACM
A genealogy of control structures
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Hi-index | 0.00 |
Many of the advances in computing technology that have a direct bearing on software productivity have been integrated into a unique requirements-oriented computing structure devoid of transfer of control constructs. Overhead is a major obstacle to such a structure. A computer architecture based on this structure is therefore derived for which combinational logic can be used to solve this overhead problem. A family of computers called Transition Machines is thereby defined which addresses many of the major problem areas affecting software productivity.