Advertisement

Operational Semantics of Equational Specifications

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

Abstract

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