DMCA

Type analysis and data structure selection (1991)

Cached

Download Links

by Jiazhen Cai , Fritz Henglein , Robert Paige , Edmond Schonberg
Venue:Constructing Programs from Specifications
Citations:16 - 0 self