Future Work and Open Problems

Abstract

The query-based debugger model and implementation can be extended in a number of ways. First, the query model could be extended to include projection on ‘columns’ of the result corresponding to the domain variables. The query model could allow computations that involve the result objects. For example, it would be useful to write queries that calculate the average length of certain lists. Although it is possible to do this now by iterating over the tuples in the query result, integrating such functionality into the query model could make such computations easier to express and potentially more efficient. In this way, the system would no longer need to construct and then consume the output tuples.