Backward conditioning: A new program specialisation technique and its application to program comprehension

Proceedings - IEEE Workshop on Program Comprehension

Volumn 2001-January, Issue , 2001, Pages 89-97

  Fox, C ^a   Harman, M ^b   Hierons, R ^b   Danicic, S ^c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b BRUNEL UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Educational institutions; Programming profession; Temperature

Indexed keywords

APPLICATION PROGRAMS; COMPUTER PROGRAMMING; TEMPERATURE;

CONDITIONED SLICING; EDUCATIONAL INSTITUTIONS; INITIAL STATE; ITS APPLICATIONS; NEW PROGRAMS; PROGRAM COMPREHENSION; PROGRAMMING PROFESSION; SPECIALISATION;

C (PROGRAMMING LANGUAGE);

EID: 38149136821     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPC.2001.921717     Document Type: Conference Paper

References (19)

1. T. Ball and S. G. Eick. Visualizing program slices. In A. L. Ambler and T. D. Kimura, editors, Proceedings of the Symposium on Visual Languages, pages 288-295, Los Alamitos, CA, USA, Oct. 1994. IEEE Computer Society Press.
2. C. Barrett, D. Dill, and J. Levitt. Validity checking for combinations of theories with equality. In M. Srivas and A. Camilleri, editors, Formal Methods In Computer Aided Design, volume 1166 of Lecture Notes in Computer Science, pages 187-201. Springer-Verlag, November 1996. Palo Alto, California, November 6-8.
3. C. W. Barrett, D. L. Dill, and J. R. Levitt. A decision procedure for bit-vector arithmetic. In Proceedings of the 35th Design Automation Conference, June 1998. San Francisco, CA.
4. G. Canfora, A. Cimitile, and A. De Lucia. Conditioned program slicing. In M. Harman and K. Gallagher, editors, Information and Software Technology Special Issue on Program Slicing, volume 40, pages 595-607. Elsevier Science B. V., 1998.
5. S. Danicic, C. Fox, M. Harman, and R. Hierons. ConSIT: A conditioned program slicer. In IEEE International Conference on Software Maintenance (ICSM'00), pages 216-226, San Jose, California, USA, Oct. 2000. IEEE Computer Society Press, Los Alamitos, California, USA.
6. S. Danicic and M. Harman. Espresso: A slicer generator. In ACM Symposium on Applied Computing, (SAC'00), page To appear, Como, Italy, Mar. 2000.
7. th IEEE Workshop on Program Comprehension, pages 9-18, Berlin, Germany, Mar. 1996. IEEE Computer Society Press, Los Alamitos, California, USA.
8. A. Goldberg, T. C. Wang, and D. Zimmerman. Applications of feasible path analysis to program testing. In Proceedings of the 1994 international symposium on Software testing and analysis, pages 80-94, Seattle, WA USA, August 1994.
9. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-61, 1990.
10. R. Jasper, M. Brennan, K. Williamson, B. Currier, and D. Zimmerman. Test data generation and feasible path analysis. In Proceedings of the 1994 international symposium on Software testing and analysis, pages 95-107, Seattle, WA USA, August 1994.
11. B. Korel and J. Laski. Dynamic program slicing. Information Processing Letters, 29(3):155-163, Oct. 1988.
12. th IEEE International Workshop on Program Comprehesion (IWPC'97), pages 80-89, Dearborn, Michigan, USA, May 1997. IEEE Computer Society Press, Los Alamitos, California, USA.
13. nd International Conference on Computers and Applications, pages 877-882, Peking, 1987. IEEE Computer Society Press, Los Alamitos, California, USA.
14. L. C. Paulson. Isabelle: A generic theorem proven. Lecture Notes in Computer Science, 828:xvii + 321, 1994.
15. L. C. Paulson. Isabelle's reference manual. Technical Report 283, University of Cambridge, Computer Laboratory, 1997.
16. L. C. Paulson. Strategic principles in the design of Isabelle. In CADE-15 Workshop on Strategies in Automated Deduction, pages 11-17, Lindau, Germany, 1998.
17. M. Weiser. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
18. M. Weiser. Programmers use slicing when debugging. Communications of the ACM, 25(7):446-452, July 1982.
19. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, 1984.