Abstract Interpretation of Mobile Ambients

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

Abstract Interpretation of Mobile Ambients

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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Proc. SAS'99
Publisher	Springer Verlag
Publication date	1999
Pages	134-148
Publication status	Published - 1999
Event	Proc. SAS'99 - Duration: 1 Jan 1999 → …

Conference

Conference	Proc. SAS'99
Period	01/01/1999 → …

OpenUrl availability

Full text

Cite this

@inproceedings{6f8c504bd5694dee841471a0361cdbaa,

title = "Abstract Interpretation of Mobile Ambients",

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).",

author = "Hansen, {Ren{\'e} Rydhof} and Jensen, {J. G.} and Flemming Nielson and Nielson, {Hanne Riis}",

year = "1999",

language = "English",

pages = "134--148",

booktitle = "Proc. SAS'99",

publisher = "Springer Verlag",

address = "Germany",

note = "Proc. SAS'99 ; Conference date: 01-01-1999",

}

TY - GEN

T1 - Abstract Interpretation of Mobile Ambients

AU - Hansen, René Rydhof

AU - Jensen, J. G.

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

PY - 1999

Y1 - 1999

N2 - 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).

AB - 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).

M3 - Article in proceedings

SP - 134

EP - 148

BT - Proc. SAS'99

PB - Springer Verlag

T2 - Proc. SAS'99

Y2 - 1 January 1999

ER -

Abstract Interpretation of Mobile Ambients

Abstract

Conference

OpenUrl availability

Fingerprint

Cite this