Program slicing using weakest preconditions

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

Volumn 1051, Issue , 1996, Pages 557-575

  Comuzzi, Joseph J ^a   Hart, Johnson M ^a  

^a Peritus Software Services Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTROL FLOW ANALYSIS; MAINTENANCE ACTIVITY; PROGRAM ANALYSIS; PROGRAM SLICING; PROGRAM UNDERSTANDING; SLICING ALGORITHMS; SLICING METHODS; WEAKEST PRECONDITION;

FORMAL METHODS;

EID: 84955566357     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_107     Document Type: Conference Paper

References (14)

1. Aho, Sethi & Ullman, Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. A. Bijlsma, "Calculating with pointers," Sci. Comput. Programming, vol. 12, pp. 191-205, 1989.
3. E. Cohen, Programming in the 1990s. NY: Springer-Vedag, 1990.
4. E.W. Dijkstra, A Discipline of Programming. Englewood Cliffs, NJ: Prentice- Hall, 1976.
5. E.W. Dijkstra and C.S. Scholten, Predicate Calculus and Program Semantics. NY: Springer-Verlag, 1989.
6. K. B. Gallagher and J. R. Lyle, "Program slicing in software maintenance," IEEE Trans. Software Eng., vol. 17, no. 8, Aug. 1991.
7. D. Gries, The Science of Programming. NY: Springer-Verlag, 1981.
8. J. M. Hart, "Experience with logical code analysis in software reuse and reengineering," in AIAA Computing in Aerospace 10 (San Antonio, TX), Mar. 28-30, 1995, pp. 549-558.
9. J.M. Hart, "Experience with logical code analysis in software maintenance," Software Practice and Experience, vol. 25, no. 11, pp. 1243-1262, 1995.
10. B. Kemighan and D. Ritchie, The C Programming Language. Englewood Cliffs, NJ: Prentice-Hall, 1978.
11. P. E. Livadas and S. CroU, "A new algorithm for the calculation of transitive dependencies," Software Maintenance: Research and Practice, vol. 7, pp. 151-176, May-June 1995.
12. Z. Manna and R. Waldinger, "Problematic features of programming languages: A situational-calculus approach," Acta Informatica, vol. 16, pp. 371-426, 1981.
13. M. Weiser, "Programmers use slices when debugging," Commun. Assoc. Comput. MacK, vol. 25, pp. 446-452, July 1982.
14. M. Weiser, "Program slicing," IEEE Trans. Software Eng., vol. SE-10, pp. 352-357, July 1984.