Formalization and automatic derivation of code generators | lit.salon