An Operational Approach to Conditional Algebraic Specifications
Udo Pletat, Gregor Engels, Hans-Dietrich Ehrich · 1982
We suppose to give conditional specifications of abstract data types hierarchically. Considering algebraic specifications from an operational point of view this approach enables us to present simple syntactic criteria for the Church-Rosser property, which implies the welldefinedness of the operational semantics of a conditional specification. Furthermore, these criteria are su?cient for the termination of the full substitution reduction strategy.