Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10328924 | Electronic Notes in Theoretical Computer Science | 2005 | 21 Pages |
Abstract
This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Miguel Palomino, Narciso MartÃ-Oliet, Alberto Verdejo,