- Authors
- Claus-Peter Wirth,
Rüdiger Lunde
- Title
- Writing Positive/Negative-Conditional Equations Conveniently
- In
- SEKI Working Paper SWP-94-04, Univ. Kaiserslautern, 1994
Bib Entry
- 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.
- Full paper
-
-
- Format
- ps.gz
- Format
- ps.Z (other server)
- Size
- .1 Mbytes
- The fonts of the following pdf version differ from the original,
some originally identical fonts are different in this version,
but the whole file can be searched!
- Format
- pdf
- Size
- .1 Mbytes