Program analysis
Published in Cambridge University Press eBooks • Jul 9, 2009
NobleIDNI2P64W61R16S14
Authors:
Thom Frühwirth
Abstract
One advantage of a declarative programming language is the ease of formally sound program analysis. Properties like confluence and program equivalence have been investigated for CHR. These properties are decidable for terminating programs.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!