iris-simp-lang icon indicating copy to clipboard operation
iris-simp-lang copied to clipboard

Published 20 hours ago • verified publisher icon tchajed
→

Metadata

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Results 0 iris-simp-lang issues
Sort by recently updated
recently updated
newest added

← Metadata

44
Stars
4
Forks
Watchers

Owner

verified publisher icon tchajed

Metadata

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Back