Writing Positive/Negative-Conditional Equations Conveniently
Artificial Intelligence
2009-02-18 v1 Logic in Computer Science
Abstract
We present a convenient notation for positive/negative-conditional equations. The idea is to merge rules specifying the same function by using case-, if-, match-, and let-expressions. Based on the presented macro-rule-construct, positive/negative-conditional equational specifications can be written on a higher level. A rewrite system translates the macro-rule-constructs into positive/negative-conditional equations.
Keywords
Cite
@article{arxiv.0902.2975,
title = {Writing Positive/Negative-Conditional Equations Conveniently},
author = {Claus-Peter Wirth and Ruediger Lunde},
journal= {arXiv preprint arXiv:0902.2975},
year = {2009}
}
Comments
ii + 21 pages