Polymorphic Fractional Capabilities

DOI10.1007/978-3-642-03237-0_5MaRDI QIDQ3392918zbMATH OpenOpenAlexFDO

Authors Hirotoshi Yasuoka, Tachio Terauchi

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)

Recommendations

• Fractional multicomplex polynomials
• Fractionalization
• scientific article; zbMATH DE number 3508267
• scientific article; zbMATH DE number 757682
• scientific article; zbMATH DE number 192888
• Fractional Programming
• Fractional dominating parameters
• Generalization ability of fractional polynomial models
• Optimization of polynomial fractional functions
• Fractional Semantics

Cites work

• A Capability Calculus for Concurrency and Determinism
• scientific article; zbMATH DE number 2090840 (Why is no real title available?)
• Inferring Channel Buffer Bounds Via Linear Programming
• Permission accounting in separation logic
• Polymorphic Fractional Capabilities
• Type-base flow analysis
• Type-Based Verification of Correspondence Assertions for Communication Protocols
• Witnessing side-effects

Cited in

(5)

• scientific article; zbMATH DE number 1728233 (Why is no real title available?)
• Mathematical programming based debugging
• Automatic inference of access permissions
• Polymorphic Fractional Capabilities
• scientific article; zbMATH DE number 2090840 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOCKSMITH
• GLPK

This page was built for publication: Polymorphic Fractional Capabilities

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