Polymorphic Fractional Capabilities (Q3392918)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Polymorphic Fractional Capabilities	scientific article

Statements

scholarly article

0 references

Polymorphic Fractional Capabilities (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-642-03237-0_5

0 references

Hirotoshi Yasuoka

0 references

Tachio Terauchi

0 references

Static Analysis

0 references

publication date

18 August 2009

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-03237-0_5

0 references

0 references

Permission accounting in separation logic

0 references

0 references

Type-Based Verification of Correspondence Assertions for Communication Protocols

0 references

Type-base flow analysis

0 references

Witnessing side-effects

0 references

A Capability Calculus for Concurrency and Determinism

0 references

Inferring Channel Buffer Bounds Via Linear Programming

0 references

Polymorphic Fractional Capabilities

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3392918

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3392918&oldid=35123153"