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.