Print Email Facebook Twitter DynSem: A DSL for Dynamic Semantics Specification Title DynSem: A DSL for Dynamic Semantics Specification Author Vergu, V. Neron, P. Visser, E. Faculty Electrical Engineering, Mathematics and Computer Science Department Software Technology Date 2015-12-31 Abstract 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 programming languages that aims at supporting both formal reasoning and efficient interpretation. DynSem supports the specification of the operational semantics of a language by means of statically typed conditional term reduction rules. DynSem supports concise specification of reduction rules by providing implicit build and match coercions based on reduction arrows and implicit term constructors. DynSem supports modular specification by adopting implicit propagation of semantic components from I-MSOS, which allows omitting propagation of components such as environments and stores from rules that do not affect those. DynSem supports the declaration of native operators for delegation of aspects of the semantics to an external definition or implementation. DynSem supports the definition of auxiliary meta-functions, which can be expressed using regular reduction rules and are subject to semantic component propagation. DynSem specifications are executable through automatic generation of a Java-based AST interpreter. Subject programming languagesdynamic semanticsreduction semanticssemantics engineeringIDEinterpretersmodularity To reference this document use: http://resolver.tudelft.nl/uuid:2512f403-521a-47af-8fba-bc433509e2ca Publisher Delft University of Technology, Software Engineering Research Group ISSN 1872-5392 Source http://swerl.tudelft.nl/bin/view/Main/TechnicalReports Source Technical Report Series TUD-SERG-2015-003 Part of collection Institutional Repository Document type report Rights © 2015 The Author(s) . Software Engineering Research Group, Department of Software Technology, Faculty of Electrical Engineering, Mathematics and Computer Science, Delft University of Technology Files PDF TUD-SERG-2015-003.pdf 469.24 KB Close viewer /islandora/object/uuid:2512f403-521a-47af-8fba-bc433509e2ca/datastream/OBJ/view