74 citations · 212 across the 19 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 2 cited
Verification of High-Level Transformations with Inductive Refinement Types
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski +1
High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backt…
cs.PL2018★ 25 cited
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala +3
Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires mo…