IMP-Logics: a metamodel for analysis and transformations of Datalog programs.

Jos Francisco Crespo, Mart Juanola, Xavier Oriol, Mart Recalde, Ernest Teniente

Browse the full MODELS paper archive.