17:08Compiler Design Module 179 : Verification Conditions for If then elsecompilerai146 viewsView & Download
22:01A predicate transformer semantics for effects (Functional Pearl)ACM SIGPLAN752 viewsView & Download
11:06Compiler Design Module 180 : Verification Conditions for the Sequence Operatorcompilerai138 viewsView & Download