Equational Specification in Maude

  • Peter Csaba ÖlveczkyEmail author
Part of the Undergraduate Topics in Computer Science book series (UTICS)


This chapter describes how data types can be defined in Maude as equational specifications. Section 2.1 introduces specification and execution in Maude with some simple “Hello World!” examples specifying the natural numbers and the Boolean values. Section 2.2 defines many-sorted equational specifications and explains how Maude computes with equations.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations