/cerise-stack-monotone

Formalisation of temporal stack safety properties on a capability machine with local, uninitialized and directed capabilities.

Primary LanguageCoqOtherNOASSERTION

Stargazers