Information-flow and data-flow analysis of while-programs (1985)

Cached

Download Links

by Jean-franc Bergeretti , Bernard A. Carry
Venue:ACM Transactions on Programming Languages and Systems
Citations:71 - 0 self