In the program development area, INRIA (-Rocquencourt), with strong participation from Bristol, has maintained the working group in action with the purpose of facilitating exchanges between partners in the area, and, more specifically, between the partners with no deliverables (INRIA and Bristol). Most of our results in the area are still theoretical, although we also have some practical progress in the implementation of declarative debugging tools in the environment of Gödel. These results have been presented and discussed during working group meetings and also at conferences and workshops.