14 citations · 23 across the 7 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024
Membership Testing for Semantic Regular Expressions
Yifei Huang, Matin Amini, Alexis Le Glaunec +2
SMORE (Chen et al., 2023) recently proposed the concept of semantic regular expressions that extend the classical formalism with a primitive to query external oracles such as datab…
cs.PL2017★ 4 cited
On Repair with Probabilistic Attribute Grammars
Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss +1
Program synthesis and repair have emerged as an exciting area of research, driven by the potential for revolutionary advances in programmer productivity. Among most promising ideas…