Annotating executable DSLs with energy estimation formulas.

Thibault Bziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Suny

Browse the full SLE paper archive.