Mining specifications.

Glenn Ammons, Rastislav Bodk, James R. Larus

Browse the full POPL paper archive.