Publications
3 shownSolving path problems on directed graphs.
This paper considers path problems on directed graphs which are solvable by a method similar to Gaussian elimination. The paper gives an axiom system for such problems which is ...
Iterative algorithms for global flow analysis
This paper studies iterative methods for the global flow analsis of computer programs. We define a hierarchy of global flow problem classes, each solvable by an appropriate gene...
Frequent Co-Authors
Researcher Info
- h-index
- 3
- Publications
- 3
- Citations
- 1,272
- Institution
- Stanford University
External Links
Identifiers
- ORCID
- 0000-0001-7505-5768
Impact Metrics
h-index
3
h-index: Number of publications with at least h citations each.