vix.ing · top · new · best · stats · spec

Crolard, Tristan

  1. Deriving a Hoare-Floyd logic for non-local jumps from a formulae-as-types notion of control
    2011/12/13 by Tristan Crolard, Crolard, Tristan, Emmanuel Polonowski +1 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO