Error Localization for Sequential Effect Systems
summary
Proposes a concrete algebraic trick that gives precise error sites for sequential (flow‑sensitive) effect systems by using a residual operator from residuated semigroups on effect quantales. Shows a generic Java implementation that accepts the same programs as the original semantics but, for effect‑incorrect code, fails at the earliest execution point that irrevocably violates the specification. Runs on JDK 1.4 sources and pinpoints a known atomicity bug to line 4, beating bottom‑up and unpredictable constraint‑solver diagnostics.
AI-written summary · about