Guard Reasoning in the Refined Operational Semantics of CHR

Jon Sneyers, Tom Schrijvers, Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. In Tom Schrijvers, Thom W. Frühwirth, editors, Constraint Handling Rules, Current Research Topics. Volume 5388 of Lecture Notes in Computer Science, pages 213-244, Springer, 2008. [doi]

Abstract

Abstract is missing.