Running Programs Backwards: the Logical Inversion of Imperative (2003)

by Brian J. Ross
Citations:13 - 0 self