Optimization of Very High Level Languages - II: Deducing Relationships of Inclusion and Membership (1975)

by J T Schwartz
Venue:Computer Languages