Do it symbolically: signatures, terms, and interpretations
摘要
Continuing the systematic build-up of items and data in the spirit of predicate logic, signatures and signature-algebras are used to symbolically represent items and data. This includes the concept of terms, as well as their inductively defined semantics. Finally, it is shown how this formal framework is used to specify static aspects of systems.