Logical Mobility and Locality Types

DOI10.1007/11506676_5MaRDI QIDQ5458795zbMATH OpenOpenAlexFDO

Authors Jonathan Moody

Publication date 24 April 2008

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11506676_5

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Linear types and locality
• Locality and interleaving semantics in calculi for mobile processes
• Static Analysis
• Types for ambient and process mobility
• Logical operations with localized structures
• scientific article; zbMATH DE number 1479626
• Types for Proofs and Programs
• scientific article; zbMATH DE number 1110847

Cited in

(7)

• A type theory for memory allocation and data layout
• Justification logic as a foundation for certifying mobile computation
• Computer Science Logic
• The Logic of Proofs as a Foundation for Certifying Mobile Computation
• Selective Memoization with Box Types
• A dual-context sequent calculus for the constructive modal logic S4
• A Modal Language for the Safety of Mobile Values

This page was built for publication: Logical Mobility and Locality Types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458795)