Mining specifications

Cite this paper

@inproceedings{Ammons2002MiningS, title={Mining specifications}, author={Glenn Ammons and Rastislav Bod{\'i}k and James R. Larus}, booktitle={POPL}, year={2002} }