skip to main content
10.1145/372202.380701acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article

A debugging calculus for mobile ambients

Authors Info & Claims
Published:01 March 2001Publication History

ABSTRACT

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.

References

  1. 1.J. Baeten, J., Bergstra. Global Renaming Operators in Concrete Process Algebra. Info&Comp. 78 (3), 205-245, 1988.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.Bernstein, K. and Stark, E.: Operational semantics of a focussing debugger", MFPS'95, ENTCS (1),]]Google ScholarGoogle Scholar
  3. 3.L. Cardelli, A. Gordon. Mobile Ambients. Theoretical Computer Science, 240 (1) pp. 177-213, 2000.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.F. da Silva. Correctness proofs of compilers and debuggers: an approach based on structural operational semantics. PhD Thesis, University Edinburgh, LFCS, 1991.]]Google ScholarGoogle Scholar
  5. 5.P. Degano, C. Priami, L. Leth, B. Thomsen Causality for debugging mobile agents. Acta Informatica 36, 353-374, 1999,]]Google ScholarGoogle ScholarCross RefCross Ref
  6. 6.R. De Nicola, G. L. Ferrari, R. Pugliese. Klaim: Kernel Language for Agents Interaction and Mobility, Theoretical Computer Science, 238 (1-2) pp. 389-437, 2000.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7.A. Kishon, P. Hudak, C. Consel. Monitoring semantics: a formal framework for specifying and reasoning about execution monitors. Proc. ACM SIGPLAN'91, Conf. on Progr. Lang. Design and Impl., 338-352, ACM Press 1991.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8.C. Fournet, G. Gonthier, J.J L6vy, L. Maranget, D. R6my. A Calculus of Mobile Agents, LNCS pp. 406-421, Springer, 1996.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.M. Hennessy, J. Riely. Type-safe execution of mobile agents in anonymous networks. LNCS 1603, pp.95-115, 1999, Springer, 1999.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.P. Sewell, P. Wojciechowski, B. Pierce. Location-Independent Communication for Mobile Agents: a Two-Level Architecture. LNCS 1686, pp.l-31, Springer, 1999.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11.J. Vitek, G. Castagua. Towards a Calculus of Secure Mobile Computations. LNCS 1686, pp. 44-77, Springer, 1999.]] Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A debugging calculus for mobile ambients

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        SAC '01: Proceedings of the 2001 ACM symposium on Applied computing
        March 2001
        692 pages
        ISBN:1581132875
        DOI:10.1145/372202

        Copyright © 2001 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 March 2001

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article

        Acceptance Rates

        Overall Acceptance Rate1,650of6,669submissions,25%

        Upcoming Conference

        SAC '24

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader