MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs.

Felipe Gorostiaga, Martn Ceresa, Csar Snchez

Browse the full PADL paper archive.