Flow-sensitive type systems and the ambient calculus

DOI10.1007/s10990-008-9039-zzbMath1175.68268MaRDI 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 analysis; type system; ambient calculus; behavior of mobile processes; effect system; flow-sensitive analysis

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Orderly communication in the ambient calculus.

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item