78
Voted
WOODPECKER
2001
15 years 7 days ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...