Keyword:Domain Specific Language

Papers
Hemiola: a DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols Joonwon Choi, Adam Chlipala and Arvind EasyChair Preprint no. 8623
Wirom2.0: an Extensible System for Mission Planning of Heterogeneous Multi-Robot Teams Gunnar Kleiven EasyChair Preprint no. 7632
Translating C# to Branching Symbolic Transducers Olli Saarikivi and Margus Veanes In:IWIL Workshop and LPAR Short Presentations