Aggregate Structure Identification and Its Application to Program Analysis.

G. Ramalingam, John Field, Frank Tip

Browse the full POPL paper archive.