1 citations · 1 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021★ 1 cited
One Down, 699 to Go: or, synthesising compositional desugarings
Sándor Bartha, James Cheney, Vaishak Belle
Programming or scripting languages used in real-world systems are seldom designed with a formal semantics in mind from the outset. Therefore, developing well-founded analysis tools…
cs.PL2019
Towards meta-interpretive learning of programming language semantics
Sándor Bartha, James Cheney
We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplif…