1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…