Operational Semantics of Equational Specifications

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


Chapter  2 shows how to write equational specifications in Maude, but without explaining their precise meaning. This chapter, and Chapter  7, defines the meaning (or semantics) of equational specifications in different ways.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations