Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool