Playing with Maude | Zendy

Miguel Palomino | Zendy; Narciso Martı́-Oliet | Zendy; Alberto Verdejo | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Playing with Maude

Author(s) -

Miguel Palomino,

Narciso Martı́-Oliet,

Alberto Verdejo

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.07.012

Subject(s) - computer science , operator (biology) , expressive power , state (computer science) , programming language , rewriting , power (physics) , calculus (dental) , algebra over a field , theoretical computer science , mathematics , pure mathematics , physics , medicine , biochemistry , chemistry , dentistry , repressor , transcription factor , gene , quantum mechanics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research