A debugging calculus for mobile ambients
Gian-Luigi Ferrari, Emilio Tuosto · 2001
Advancements in network-aware computing has prompted the study of novel programming languages with advanced programming abstractions to support various forms of mobility and to coordinate and monitor the use of resources. This work addresses the issue of designing debuggers for network-aware programming languages. In our approach a debugger is viewed as being an extension of the underlying programming language with suitable debugging abstractions. We apply this idea to Cardelli and Gordon's Ambient Calculus [3]. The resulting debugger is designed to monitor and trace executions of mobile ambients by keeping track of causal informations about events of computations.