Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging

Authors:
Josep Silva
Affiliations:
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera s/n, E-46022 Valencia, Spain. E-mail: jsilva@dsic.upv.es
Venue:
AI Communications
Year:
2008

Citing 5
Cited 0

Why no one uses functional languages

ACM SIGPLAN Notices
Dynamic slicing based on redex trails

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Lightweight program specialization via dynamic slicing

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Combining algorithmic debugging and program slicing

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A slicing tool for lazy functional logic programs

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

There is no doubt about the relevance of debugging in the software development process. However, the scientific community has put little attention on this task and the same debugging techniques used twenty years ago are still being used today. The thesis firstly studies and compares current debugging techniques and then it proposes new methods for the debugging of declarative languages putting special attention on profiling, program slicing and algorithmic debugging.