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


Termination (the absence of infinite computations) is a crucial property for both equational specifications and programs in general. Maude requires equational specifications to be terminating, but does not check it (for reasons that will be apparent). We must therefore be able to analyze whether or not a specification is terminating.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations