2 papers
cs.PL2025
Language-Parametric Reference Synthesis (Extended)
Daniel A. A. Pelsmaeker, Aron Zwaan, Casper Bach +1
Modern Integrated Development Environments (IDEs) offer automated refactorings to aid programmers in developing and maintaining software. However, implementing sound automated refa…
cs.SE2016
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usua…