Operational Semantics of Equational Specifications
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.
© Springer-Verlag London 2017