Flow-sensitive type systems and the ambient calculus

DOI10.1007/s10990-008-9039-zzbMath1175.68268OpenAlexW1977817354MaRDI QIDQ1029816

Torben Amtoft

Publication date: 13 July 2009

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-008-9039-z

zbMATH Keywords

program analysistype systemambient calculusbehavior of mobile processeseffect systemflow-sensitive analysis

Mathematics Subject Classification ID

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 (1)

Orderly communication in the ambient calculus.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Type inference with recursive types: Syntax and semantics
• The type and effect discipline
• Mobile ambients
• Validating firewalls using flow logics
• Typing evolving ambients
• BioAmbients: an abstraction for biological compartments
• On abstract interpretation of mobile ambients
• Controlling interference in ambients
• Secure safe ambients
• Programming Languages and Systems
• Programming Languages and Systems
• Static Analysis

This page was built for publication: Flow-sensitive type systems and the ambient calculus