Program Development WG [Bristol,INRIA]

• Achievements:
  • Declarative debuggers implemented for the full Goedel language. [Bristol,INRIA]
  • A prototype declarative debugger for the integrated functional and logic language Escher was implemented. [Bristol]
  • Proposed methods for parallel and concurrent program verification (e.g., non-suspension). [INRIA]
  • Shown independence of the computation rule in programs with delay. [INRIA]
  • Proposed methods for declarative debugging of restricted classes of concurrent constraint programs. [INRIA]
• Future plans:
  • Substantial development of the Escher language. [Bristol]
  • Program development tools (CLP). [INRIA]