Mining specifications

Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 ◽

10.1145/503272.503275 ◽

2002 ◽

Cited By ~ 261

Author(s):

Glenn Ammons ◽

Rastislav Bodík ◽

James R. Larus

Download Full-text