Abstract Interpretation of Mobile Ambients

René Rydhof Hansen, J. G. Jensen, Flemming Nielson, Hanne Riis Nielson

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

    Abstract

    We demonstrate that abstract interpretation is useful for analysing calculi of computation such as the ambient calculus (which is based on the p-calculus); more importantly, we show that the entire development can be expressed in a constraint-based formalism that is becoming exceedingly popular for the analysis of functional and object-oriented languages. The first step of the development is an analysis for counting occurrences of processes inside other processes (for which we show semantic correctness and that solutions constitute a Moore family); the second step is a previously developed control flow analysis that we show how to induce from the counting analysis (and its properties are derived from those of the counting analysis using general results).
    Original languageEnglish
    Title of host publicationProc. SAS'99
    PublisherSpringer Verlag
    Publication date1999
    Pages134-148
    Publication statusPublished - 1999
    EventProc. SAS'99 -
    Duration: 1 Jan 1999 → …

    Conference

    ConferenceProc. SAS'99
    Period01/01/1999 → …

    Cite this

    Hansen, R. R., Jensen, J. G., Nielson, F., & Nielson, H. R. (1999). Abstract Interpretation of Mobile Ambients. In Proc. SAS'99 (pp. 134-148). Springer Verlag.