TY  - INPR
A1  - Wirth, Claus-Peter
A1  - Lunde, Rüdiger
T1  - Writing positive, negative-conditional equations conveniently
N2  - We present a convenient notation for positive/negativeADconditional equations. Theidea is to merge rules specifying the same function by using caseAD, ifAD, matchAD, and letADexpressions.Based on the presented macroADruleADconstruct, positive/negativeADconditional equational specifiADcations can be written on a higher level. A rewrite system translates the macroADruleADconstructsinto positive/negativeADconditional equations.
T3  - SEKI Report Working Papers - 1994,4 
Y1  - 1994
UR  - https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/426
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-3970
ER  -