The OCAP Logic Overview Hoare-style program logic for assembly CPS-style reasoning Assign a precondition to each basic block Similar to TAL [Morrisett et al.POPL'98]The OCAP Logic : Overview ◼ Hoare-style program logic for assembly ◼ CPS-style reasoning ◼ Assign a precondition to each basic block ◼ Similar to TAL [Morrisett et al. POPL’98]