Scaling up algorithmic debugging with virtual execution trees

Part of book or chapter of book English OPEN
Insa Cabrera, David; Silva Galiana, Josep Francesc;

Declarative debugging is a powerful debugging technique that has been adapted to practically all programming languages. However, the technique suffers from important scalability problems in both time and memory. With realistic programs the huge size of the exec... View more
Share - Bookmark