Polymorphic Fractional Capabilities

DOI10.1007/978-3-642-03237-0_5zbMath1248.68157OpenAlexW1781333026MaRDI QIDQ3392918

Tachio Terauchi, Hirotoshi Yasuoka

Publication date: 18 August 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03237-0_5

Mathematics Subject Classification ID

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

Related Items (3)

Automatic Inference of Access Permissions ⋮ Unnamed Item ⋮ Polymorphic Fractional Capabilities

Uses Software

• GLPK
• LOCKSMITH

Cites Work

• Unnamed Item
• Witnessing side-effects
• Polymorphic Fractional Capabilities
• Type-Based Verification of Correspondence Assertions for Communication Protocols
• Type-base flow analysis
• Permission accounting in separation logic
• Inferring Channel Buffer Bounds Via Linear Programming
• A Capability Calculus for Concurrency and Determinism

This page was built for publication: Polymorphic Fractional Capabilities