A Formal Way from Text to Code Templates

Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a template language for text generation. We use Natural Semantics for expressing both the static and the dynamic semantics of the language. In the second part, we deal with template languages for code generation in a particular target language. We provide construction steps for the syntax and semantics of such languages. The approach is generic and can be applied to any target language.

• Type: Conference
• Year: 2009
• Where: FASE
• Authors: Guido Wachsmuth
• Keywords: FASE 2009, Semantics, Software Engineering, Target Language, Template Languages