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