Shape analysis for Mobile Ambients

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    The ambient calculus is a calculus of computation that allows active processes to move between sites. We present an analysis inspired by state-of-the-art pointer analyses that safety and accurately predicts which processes may turn up at what sites during the execution of a composite system. The analysis models sets of processes by sets of regular tree grammars enhanced with context-dependent counts, and it obtains its precision by combining a powerful redex materialisation with a strong redex reduction (in the manner of the strong updates performed in pointer analyses). The underlying ideas are flexible and scale up to general tree structures admitting powerful restructuring operations.
    Original languageEnglish
    Title of host publicationPOPL'00 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    PublisherACM Press
    Publication date2000
    Pages142-154
    ISBN (Print)1-58113-125-9
    DOIs
    Publication statusPublished - 2000
    Event27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '00) - Boston, MA, United States
    Duration: 19 Jan 200021 Jan 2000
    Conference number: 27

    Conference

    Conference27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '00)
    Number27
    CountryUnited States
    CityBoston, MA
    Period19/01/200021/01/2000

    Fingerprint Dive into the research topics of 'Shape analysis for Mobile Ambients'. Together they form a unique fingerprint.

    Cite this