|
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
E-mail: aquavlis@yahoo.com,lblopes@dcc.fc.up.pt
May 2006
Abstract
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.
|