Optimization of very high level languages --- ii. deducing relationships of inclusion and membership (1975)

by J T Schwartz
Venue:Computer Languages