Playing with Maude |
| |
| Authors: | Miguel Palomino Narciso Martí-Oliet Alberto Verdejo |
| |
| Affiliation: | Departamento de Sistemas Informáticos y Programación, Universidad Complutense de Madrid |
| |
| 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: | Rule-based programming Maude puzzles |
| 本文献已被 ScienceDirect 等数据库收录！ |
