MetaDL: declarative program analysis for the masses.

Alexandru Dura, Hampus Balldin

Browse the full OOPSLA paper archive.