Theoretical aspects of semantics-based language implementation | lit.salon