Strictly declarative specification of sophisticated points-to analyses.

Martin Bravenboer, Yannis Smaragdakis

Browse the full OOPSLA paper archive.