Keyword:Domain Specific Language

Papers
Component for the visualization of a spatio-temporal data warehouse in a Geographic Information System Victor Juan Lamas Sardiña, Alejandro Cortiñas Álvarez, Miguel Rodríguez Luaces and Óscar Pedreira In:Proceedings of V XoveTIC Conference. XoveTIC 2022
Product configuration of a software product line using a Domain Specific Language David de Castro Celard, Alejandro Cortiñas Álvarez, Miguel Rodríguez Luaces and Óscar Pedreira In:Proceedings of V XoveTIC Conference. XoveTIC 2022
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