1 citations · 1 across the 1 of their papers we have counts for
2 papers
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…