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 等数据库收录! |