1 citations · 2 across the 11 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024
Modernizing SMT-Based Type Error Localization
Max Kopinsky, Brigitte Pientka, Xujie Si
Traditional implementations of strongly-typed functional programming languages often miss the root cause of type errors. As a consequence, type error messages are often misleading…
cs.PL2024
SAT-DIFF: A Tree Diffing Framework Using SAT Solving
Chuqin Geng, Haolin Ye, Yihan Zhang +2
Computing differences between tree-structured data is a critical but challenging problem in software analysis. In this paper, we propose a novel tree diffing approach called SatDif…