2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2009★ 1 cited
ASF+ --- eine ASF-aehnliche Spezifikationssprache
Ruediger Lunde, Claus-Peter Wirth
Maintaining the main aspects of the algebraic specification language ASF as presented in [Bergstra&al.89] we have extend ASF with the following concepts: While once exported names…
cs.AI2009★ 2 cited
Writing Positive/Negative-Conditional Equations Conveniently
Claus-Peter Wirth, Ruediger Lunde
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-expressio…