Checking reachability using matching logic.

Grigore Rosu, Andrei Stefanescu

Browse the full OOPSLA paper archive.