4 citations · 4 across the 6 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
ProDebug: An Automated Debugging System for Prolog
Ricardo Brancas, Vasco Manquinho, Ruben Martins
Prolog is a well-known declarative programming language commonly used in introductory courses on logic and reasoning. However, many students find Prolog challenging because it lack…
cs.PL2022★ 4 cited
CUBES: A Parallel Synthesizer for SQL Using Examples
Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura +2
In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in programming required to write comple…