Technical Report: DCC-2006-02

A Debugger for a Programming Language Based on a Process-Calculus

Ricardo Silva and Luís Lopes

DCC-FC & LIACC, Universidade do Porto
R. do Campo Alegre 823, 4150-180 Porto, Portugal
Phone: 351 22 6078830, Fax: 351 22 6003654
May 2006


This paper describes the implementation of a debugger module for a programming language based on a process calculus. The language was used as a teaching tool for programming with message passing concurrent systems and in this context the development of a debugger for end users was of prime importance to increase usability of the system. We start by describing the syntax and semantics of the programming language and some programming examples. Then, we describe the implementation of the compiler and of the run-time system. Finally, we show how we can implement a debugger in a highly flexible way as a new module for the language.