Journal of the ACM Bibliography
Lawrence Yelowitz. Derivation
of a path-connectivity matrix for tagged flowcharts. Journal of
the ACM, 22(1):145-154, January 1975.
[BibTeX entry]
Additional Key Words and Phrases:
tagged paths, flowchart paths, tagged flowcharts, inductive assertions,
program correctness, program certification, structured flowcharts,
Boolean matrices, connectivity matrices, top-down programs, parsing,
reduction rules, reduction rules, graph theory
Shortcuts: