Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018
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
Skeletal Semantics and their Interpretations
Martin Bodin, Philippa Gardner, Thomas Jensen +1
The development of mechanised language specification based on structured operational semantics, with applications to verified compilers and sound program analysis, requires huge ef…