"Систематическое получение объектного кода и генератора объектного кода из интерпретационной семантики".
