• Publications
  • Influence
Terminating iterative solution of simultaneous equations in distributed message passing systems
An efficient algorithm for synchronized termination of iterative solution of simultaneous equations in a distributed message passing system is presented. The algorithm is based on an assumption thatExpand
Synchronized Distributed Termination
An efficient decentralized algorithm for synchronized termination of a distributed computation is presented. It is assumed that distributed processes are connected via unidirectional channels into aExpand
Use of Very High Level Languages and Program Generation by Management Professionals
The hypothesis that the preferred mode of developing management systems will be for the management professional to directly specify, generate, and debug the needed software without involvement of professional programmers is explored. Expand
Transition to a Legacy- and Reuse-Based Software Life Cycle
A generalized model of the software life-cycle is presented that explicitly recognizes the critical contribution of legacy software to the attainment of software production from reusable software components and describes alternative methodologies for transitioning from current practices to the new software Life Cycle. Expand
Outline for a multi-list organized system
This block diagram is proposed because of the following considerations: 1. Expand
“Automatic generation of data conversion programs using a data description language”
The paper describes the application of automatic program generation methodology in generating file conversion programs in PL/1 capable of converting the source file and producing the target file. Expand
Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development
The Model II language and the associated program generator are used to explain and illustrate the use of very high level nonprocedural languages for computer programming and the methodology incorporated in the existing program generator is reviewed. Expand
UNIYAC-LARC High-Speed Circuitry: Case History in Circuit Optimization
This paper will discuss how circuit optimization techniques and use of the UNIVAC® I computing system aided in reducing cost and avoiding many of the pitfalls in the design and production of efficient high-speed circuitry for UNIVac-LARC. Expand
Compilation of Nonprocedural Specifications into Computer Programs
The paper describes the compilation of a program specification, written in the very high level nonprocedural MODEL language, into an object, PL/1 or Cobol, procedural language program. NonproceduralExpand