Dependency analysis of Ada programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Dependency analysis of Ada programs

Full text

Pdf (1.39 MB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 263 - 275

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

Janusz Laski	SofTools, Inc. 3024 Longview Rochester Hills MI
William Stanley	SofTools, Inc. 3024 Longview Rochester Hills MI
Jim Hurst	SofTools, Inc. 3024 Longview Rochester Hills MI

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 6, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289524.289645 What is a DOI?

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.

	BACK86	Roland C. Backhouse, Program construction and verification, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
	BARN95	John Barnes, Programming in Ada95, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1995
	BARN97	Barnes, J., "High Integrity Aria, The SPARK Approach," Addison- wesley, ivy /
	BAHO93	Thomas Ball , Susan Horwitz, Slicing Programs with Arbitrary Control-flow, Proceedings of the First International Workshop on Automated and Algorithmic Debugging, p.206-222, May 03-05, 1993
	BECA85	Jean-Francois Bergeretti , Bernard A. Carré, Information-flow and data-flow analysis of while-programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.37-61, Jan. 1985 [doi>10.1145/2363.2366]
	FEOW87	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	GRAH93	, Graham, D.R., "Where is CAST Heading? Directions and Trends for Testing Tools," Proc. Sixth International Software Quality Week, San Francisco, May 25-28, 1993
	HECH77	Matthew S. Hecht, Flow Analysis of Computer Programs, Elsevier Science Inc., New York, NY, 1977
	HERM76	Herman, P'.M.,~ A Data Flow Analysis Approach to Program Testing," The Australian Computer Journa,v.8, no.3, Nov 1976,347-354.
	JONE90	Cliff B. Jones, Systematic software development using VDM (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	KOLA90	Bogdan Korel , Janusz Laski, Dynamic slicing of computer programs, Journal of Systems and Software, v.13 n.3, p.187-195, Nov. 1990 [doi>10.1016/0164-1212(90)90094-3]
	LASK90a	J. Laski, Data flow testing in STAD, Journal of Systems and Software, v.12 n.1, p.3-14, Apr. 1990 [doi>10.1016/0164-1212(90)90062-Q]
	LASK90b	Lash, J., "Path Expressions in Data How Te.qting,' Pr_oc. Compsac'90, !4~ Annual International Computer Software&Applications Conference, Chicago, II, October 29-November 2, 1990, p.570-576.
	OTOT84	Karl J. Ottenstein , Linda M. Ottenstein, The program dependence graph in a software development environment, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.177-184, April 1984
	POCL90	A. Podgurski , L. A. Clarke, A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance, IEEE Transactions on Software Engineering, v.16 n.9, p.965-979, September 1990 [doi>10.1109/32.58784]
	ROMA97	Romanski, G. "Safety_ Critical Software Handbook," Aonix 1997, ADOC-SCHB-70519

CITED BY 2

	Janusz Laski , William Stanley , Pawel Podgorski, Beyond ASIS: program data bases and tool-oriented queries, ACM SIGAda Ada Letters, v.XXI n.4, December 2001
	Elaheh Safari-Sharifabadi , Constantinos Constantinides, Dynamic analysis of Ada programs for comprehension and quality measurement, ACM SIGAda Ada Letters, v.28 n.3, December 2008