Combining algorithmic debugging and program slicing

PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Volumn 2006, Issue , 2006, Pages 157-166

  Silva, Josep ^a   Chitil, Olaf ^b  

^a TU Valencia   (Spain)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Algorithmic debugging; Program slicing

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES;

ALGORITHMIC DEBUGGING; DEBUGGING SCHEMA; PROGRAM SLICING;

PROGRAM DEBUGGING;

EID: 33750901000     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1140335.1140355     Document Type: Conference Paper

References (23)

1. Citeseer: The NECI Scientific Literature Digital Library. Accessed on March 27th 2006. URL: http://citeseer.ist.psu.edu.
2. O. Chitil. Source-Based Trace Exploration. In 16th Int'l Workshop on Implementation of Functional Languages (IFL 2004). Springer LNCS, 2005.
3. O. Chitil and Y. Luo. Proving the Correctness of Declarative Debugging for Functional Programs. In Trends in Functional Programming (TFP 2006), 2006.
4. O. Chitil and Y. Luo. Towards a Theory of Tracing for Functional Programs Based on Graph Rewriting. In TERMGRAPH 2006, 2006.
5. The ACM Digital Library. Association for Computing Machinery. Accessed on March 27th 2006. URL: http://portal.acm.org.
6. J. Ferrante, K.J. Ottenstein, and J.D. Warren. The Program Dependence Graph and Its Use in Optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, 1987.
7. Peter Fritzson, Nahid Shahmehri, Mariam Kamkar, and Tibor Gyimóthy. Generalized Algorithmic Debugging and Testing. LOPLAS, 1(4):303-322, 1992.
8. Daniel Jackson and Eugene J. Rollins. Chopping: A generalization of slicing. Technical Report CS-94-169, 1994.
9. Gabriella Kokai, L Harmath, and Tibor Gyimothy. Algorithmic debugging and testing of prolog programs. In Workshop on Logic Programming Environments, pages 14-21, 1997.
10. B. Korel and J. Laski. Dynamic Program Slicing. Information Processing Letters, 29(3):155-163, 1988.
11. I. MacLarty. Practical Declarative Debugging of Mercury Programs. PhD thesis, Department of Computer Science and Software Engineering, The University of Melbourne, 2005.
12. Lee Naish. A Declarative Debugging Scheme. Journal of Functional and Logic Programming, 1997(3), 1997.
13. Lee Naish. A three-valued declarative debugging scheme. In Workshop on Logic Programming Environments, pages 1-12, 1997.
14. H. Nilsson and P. Fritzson. Algorithmic Debugging for Lazy Functional Languages. Journal of Functional Programming, 4(3):337-370, 1994.
15. Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden, May 1998.
16. C. Ochoa, J. Silva, and G. Vidal. Dynamic Slicing Based on Redex Trails. In Proc. of the ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), pages 123-134. ACM Press, 2004.
17. J. Paakki, T. Gyimóthy, and T. Horváth. Effective algorithmic debugging for inductive logic programming, volume 237 of GMD-Studien, pages 175-194. Gesellschaft für Mathematik und Datenverarbeitung MBH, 1994.
18. L. M. Pereira. Rational Debugging in Logic Programming. In Proceedings on Third international conference on logic programming, pages 203-210, New York, NY, USA, 1986. Springer-Verlag New York, Inc.
19. S. L. Peyton-Jones, editor. Haskell 98 Language and Libraries : The Revised Report. Cambridge University Press, 2003.
20. E.Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.
21. J. Sparud and C. Runciman. Tracing Lazy Functional Computations Using Redex Trails. In Proc. of the 9th Int'l Symp. on Programming Languages, Implementations, Logics and Programs (PLILP'97), pages 291-308. Springer LNCS 1292, 1997.
22. M. Wallace, O. Chitil, T. Brehm, and C. Runeiman. Multiple-View Tracing for Haskell: a New Hat. In Proc. of the 2001 ACM SIGPLAN Haskell Workshop. Universiteit Utrecht UU-CS-2001-23, 2001.
23. M.D. Weiser. Program Slicing. IEEE Transactions on Software Engineering, 10(4):352-357, 1984.