A debugging calculus for mobile ambients

Authors:
GianLuigi Ferrari;Emilio Tuosto
Affiliations:
Computer Science Dept., Università di Pisa, Corso Italia 40, 56125, Pisa, Italy;Computer Science Dept., Università di Pisa, Corso Italia 40, 56125, Pisa, Italy
Venue:
Proceedings of the 2001 ACM symposium on Applied computing
Year:
2001

Citing 4
Cited 0

Global renaming operators in concrete process algebra

Information and Computation
Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Mobile ambients

Theoretical Computer Science
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Advancements in network-aware computing has prompted the studyof novel programming languages with advanced programmingabstractions to support various forms of mobility and to coordinateand monitor the use of resources. This work addresses the issue ofdesigning debuggers for network-aware programming languages. In ourapproach a debugger is viewed as being an extension of theunderlying programming language with suitable debuggingabstractions. We apply this idea to Cardelli and Gordon's AmbientCalculus [3]. The resulting debugger is designed to monitor andtrace executions of mobile ambients by keeping track of causalinformations about events of computations.