- language
- grammar
- wisl
- separation logic
language-wisl
Grammar for the While In Separation Logic language used at Imperial College to teach Separation Logic to students (CO404H)
Grammar for the While In Separation Logic language used at Imperial College to teach Separation Logic to students (CO404H)