Journal Article10.1080/00207167608803113
A method for pogram analysis and Its applications to program-correctness problems
TL;DR: A program-analysis method that can be used to effectively determine the logical structure of a program, explicate the computation a program will perform, and show the equivalence of programs is described.
read more
Abstract: Described in this paper is a program-analysis method that can be used to effectively determine the logical structure of a program, explicate the computation a program will perform, and show the equivalence of programs. Applications to the problem areas in test-case generation, proving program correctness, and translation of “GOTO” programs into “GOTO-less” programs are discussed.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
References
•Book
Graph theory
Frank Harary
- 01 Jan 1969
TL;DR: This project focuses on Tutte’s work in cryptography, which enabled the British to read high-level German army messages and has been described as one of the greatest intellectual feats of the war.
18K
•Book
Structured Programming
O. J. Dahl,Edsger W. Dijkstra,C. A. R. Hoare +2 more
- 01 Jan 1972
TL;DR: The first monograph has suggested that in analysing a problem and groping towards a solution, a programmer should take advantage of abstract concepts such as sets, sequences, and mappings; and judiciously postpone decisions on representation until he is constructing the more detailed code of the program.
1.2K
•Book
Introduction to Automata
R. J. Nelson
- 01 Jan 1968
TL;DR: Any books that you read, no matter how you got the sentences that have been read from the books, surely they give you goodness.
264
An Approach to Program Testing
TL;DR: This tutorial describes the problems involved and the methods that can be used to satisfy the test requirement of selecting test cases in such a way that each and every branch in the flowchart will be traversed at least once during the test.
249
•Proceedings Article
The Translation of 'Go To' Programs to 'While' Programs.
Edward A. Ashcroft,Zohar Manna +1 more
- 01 Jan 1971
TL;DR: Ashcroft and Manna as discussed by the authors presented an extremely detailed, extremely theoretical presentation, providing an important addition to the work of Bom and Jacopini, which was presented at the 1971 IFIP Conference in Ljubljana, Yugoslavia.
128