Symbolic reaching definitions analysis of ada programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1411, Issue , 1998, Pages 238-250

  Blieberger, Johann ^a   Burgstaller, Bernd ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA TRANSFER;

ADA PROGRAMS; DATA FLOW; SAFETY-RELATED;

ADA (PROGRAMMING LANGUAGE);

EID: 84957639165     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055009     Document Type: Conference Paper

References (12)

1. A. V. Aho, R. Seti, and J. D. Ullman. Compilers: principles, techniques, and tools. Addison-Wesley, Reading, MA, 1986.
2. J.-F. Bergeretti and B. A. Carre. Information-flow and datarflow analysis of while-programs. ACM Trans. Prog. Lang. Sys., 7(1):37-61, 1985.
3. J. Blieberger. Data-flow frameworks for worst-case execution time analysis, (submitted), 1997.
4. R. Chapman, A. Burns, and A. Wellings. Combining static worst-case timing analysis and program proof. Real-Time Systems, 11(2): 145-171, 1996.
5. T. E. Cheatham, G. H. Hollowy, and J. A. Townley. Symbolic evaluation and the analysis of programs. IEEE Trans, on Software Engineering, 5(4):403-417, July 1979.
6. ISO/IEC 8652. Ada Reference manual, 1995.
7. J. B. Kam and J. D. Ullman. Global data flow analysis and iterative algorithms. J. ACM, 23(1):158-171, 1976.
8. J. B. Kam and J. D. Ullman. Monotone data flow analysis frameworks. Acta Informatica, 7:305-317, 1977.
9. T. J. Marlowe and B. G. Ryder. Properties of data flow frameworks - a unified model. Acta Informatica, 28:121-163, 1990.
10. M. C. Pauli. Algorithm Design - A Recursion Transformation Framework. Wiley Interscience, New York, NY, 1988.
11. B. G. Ryder and M. C. Pauli. Elimination algorithms for data flow analysis. ACM Computing Surveys, 18(3):277-316, 1986.
12. V. C. Sreedhar. Efficient Program Analysis Using DJ Graphs. PhD thesis, School of Computer Science, McGill University, Montréal, Québec, Canada, 1995.