- document
-
Vergu, V. (author), Neron, P. (author), Visser, E. (author)The formal definition the semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of...report 2015
- document
-
Bravenboer, M. (author), Kalleberg, K.T. (author), Vermaas, R. (author), Visser, E. (author)Preprint of paper published in: Science of Computer Programming (Elsevier), 72 (1-2), 2008; doi:10.1016/j.scico.2007.11.003 Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules...report 2008