Lam, PatrickKuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-212003https://infoscience.epfl.ch/handle/20.500.14299/10363On Modular Pluggable Analyses Using Set Interfacestext::report