Shape analysis for mobile ambients

DOI10.1145/325694.325711zbMath1323.68414OpenAlexW2066150275WikidataQ59416360 ScholiaQ59416360MaRDI QIDQ5178849

Flemming Nielson, Hanne Riis Nielson

Publication date: 17 March 2015

Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/325694.325711

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (12)

On abstract interpretation of mobile ambients ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Hybrid logical analyses of the ambient calculus ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ A typed encoding of boxed into safe ambients ⋮ Abstract interpretation of mobile systems ⋮ Types for the ambient calculus ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Techniques for Security Checking ⋮ Analysis of security protocols as open systems ⋮ Validating firewalls using flow logics ⋮ Behavioural typing for safe ambients

This page was built for publication: Shape analysis for mobile ambients