Equational Specification in Maude

Chapter
Part of the Undergraduate Topics in Computer Science book series (UTICS)

Abstract

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