|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
|
| |
2
|
ALLEN, F.E. "Program optimization," in Annual Review in Automatic Programming, Pergamon Press, New York, 1969, pp. 239- 307.
|
| |
3
|
ALLEN, F.E. "A basis for program optimization," in Proc. IFIP Congress 1971, North- Holland Publ. Co., Amsterdam, The Netherlands, 1972, pp. 385-390.
|
| |
4
|
ALLF.N, F. E.; AND COCKE, J. Graphtheoretzc constructs for program control flow analys~s, IBM Research Report RC3923, T. J. Watson Research Center, Yorktown Heights, New York, 1972.
|
| |
5
|
ALLEN, F. E. "Interprocedural data flow analysis," in Proc. IFIP Congress 1974, North Holland Publ. Co., Amsterdam, The Netherlands, 1974, pp. 398-402.
|
| |
6
|
ALLEN, F. E.; AND COCKE, J. "A program
|
| |
7
|
BALZEa, R. M. "EXDAMS: Extendable debugging and monitoring system," in Proc. AFIPS 1969 Spring Jr. Computer Conf., Vol. 34, AFIPS Press, Montvale, N.J., 1969, pp. 567-580.
|
| |
8
|
CLARKE, L. A system to generate test data and symbolically execute programs, Dept. of Computer Science Technical Report ~Cu- CS-060-75, Univ. of Colorado, Boulder, 1975.
|
| |
9
|
|
| |
10
|
FAmLEr, R.E. "An experimental program testing facility," in Proc. First National Conf. on Software Engineering, 1975, IEEE ~75Ctt0992-8C, IEEE, New York, 1975, pp. 47-55.
|
| |
11
|
GOLDSTINE, H. H.; AND VON NEUMANN, Z. Planning and coding problems for an electronic computing instrument," in John yon Neumann, collected works, A. H. Taub (Ed.), Pergamon Press, London, England, 1963, pp. 80-235.
|
| |
12
|
HABERMANN, A.N. Path expressions, Dept. of Computer Science Technical Report, Carnegie-Mellon Univ., Pittsburgh, Pa., 1975.
|
| |
13
|
HARARY, F. Graph theory, Addison-Wesley Publ. Co., Reading, Mass., 1969.
|
| |
14
|
HECH~, M. S.; AND ULLMAN, J.D. "Flow graph reducibility," SIAM J. Computing 1, (1972), 188-202.
|
| |
15
|
|
| |
16
|
I-IECHT, M. S.; AND ULLMAN, J. D. "A simple algorithm for global data flow analysis problems," SIAM J. Computing 4 (Dec. 1975), 519-532.
|
| |
17
|
|
| |
18
|
|
| |
19
|
HOWDEN, W.E. "Automatic case analysis of programs," in Proc. Computer Science and Statistics: 8th Annual Symposium on the Interface, 1975, pp. 347-352.
|
| |
20
|
KALLAL, V.; AND OSTERWEIL, L. J. Constructing flowgraphs for assembly language programs, Dept. of Computer Science Technical Report Univ. of Colorado, Boulder, (to appear 1976).
|
| |
21
|
KARP, R.M. "A note on the application of graph theory to digital computer programming," Information and Control 3 (1960), 179-190.
|
| |
22
|
|
| |
23
|
|
| |
24
|
|
| |
25
|
KNUTH, D. E. An empirical study of FORTRAN programs, Software--Practice and Experience 1, 2(1971), 105-134.
|
| |
26
|
MXLLER, E. F., jR. RXVP, FORTRAN automated verificatwn system, Program Validation Project, General Research Corp., Santa Barbara, Calif., 1974, pp. 4.
|
| |
27
|
OSTERWEIL, L. J.; AND FOSDICK, L D. "DAVE--a FORTRAN program analysis system," in Proc. Computer Science and Statistics: 8th Annual Symposium on the Interface, 1975, pp. 329-335.
|
| |
28
|
OSTERWEIL, L. J.; AND FOSDICK, L. D.. "DAVE--a validation, error detection and documentation system for FORTRAN programs," Software--Practice and Experience (to appear 1976).
|
| |
29
|
|
| |
30
|
ROSEN, B. Data flow analysis for recurszve PL/I programs, IBM Research Report RC5211, T. J. Watson Research Center, Yorktown Heights, New York, 1975.
|
| |
31
|
|
| |
32
|
STUCKX, L. G. "Automatic generation of self-metric software," in Proc. IEEE Symposium on Computer Software Reliabdity, 1973, IEEE $ 73CH0741-9CSR, IEEE, New York, 1973, pp. 94-100.
|
| |
33
|
TARJAN, R. E. "Depth-first search and linear graph algorithms," SIAM J. Computing (Sept. 1972), 146-160.
|
| |
34
|
TARJAN, R. E. "Testing flow graph reducibility," J. Computer and System Sciences 9, 3 (Dee. 1974), 355-365.
|
| |
35
|
ULLMAN, J. D. "Fast algorithms for the ehmination of common subexpressions," Acta lnformatica 2 (1973), 191-213.
|
CITED BY 64
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G. Bristow , C. Drey , B. Edwards , W. Riddle, Anomaly detection in concurrent programs, Proceedings of the 4th international conference on Software engineering, p.265-273, September 17-19, 1979, Munich, Germany
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dick Hamlet , Bruce Gifford , Borislav Nikolik, Exploring dataflow testing of arrays, Proceedings of the 15th international conference on Software Engineering, p.118-129, May 17-21, 1993, Baltimore, Maryland, United States
|
|
|
Eugene W. Myers, Jr. , Leon J. Osterweil, BIGMAC II: A FORTRAN language augmentation tool, Proceedings of the 5th international conference on Software engineering, p.410-421, March 09-12, 1981, San Diego, California, United States
|
|
|
|
|
|
Douglas Long , Lori A. Clarke, Data flow analysis of concurrent systems that use the rendezvous model of synchronization, Proceedings of the symposium on Testing, analysis, and verification, p.21-35, October 08-10, 1991, Victoria, British Columbia, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. C. Huang , Peter Valdes , Raymond T. Yeh, A tool-based approach for software testing and validation, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
K.6