Shape analysis for Mobile Ambients

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2000

View graph of relations

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
TitlePOPL'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
StatePublished

Conference

Conference27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '00)
Number27
CountryUnited States
CityBoston, MA
Period19/01/0021/01/00
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 2578672