4 papers
Diminution: On Reducing the Size of Grounding ASP Programs
HuanYu Yang, Fengming Zhu, YangFan Wu +1
Answer Set Programming (ASP) is often hindered by the grounding bottleneck: large Herbrand universes generate ground programs so large that solving becomes difficult. Many methods…
FLAT: Formal Languages as Types
Fengmin Zhu, Andreas Zeller
Programmers regularly use strings to encode many types of data, such as Unix file paths, URLs, and email addresses, that are conceptually different. However, existing mainstream pr…
Lay-it-out: Interactive Design of Layout-Sensitive Grammars
Fengmin Zhu, Jiangyi Liu, Fei He
Layout-sensitive grammars have been adopted in many modern programming languages. However, tool support for this kind of grammars still remains limited and immature. In this paper,…
EqFix: Fixing LaTeX Equation Errors by Examples
Fengmin Zhu, Fei He
LaTeX is a widely-used document preparation system. Its powerful ability in mathematical equation editing is perhaps the main reason for its popularity in academia. Sometimes, howe…