{"date_updated":"2022-01-06T07:03:46Z","type":"conference","publication":"Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)","page":"254-270","language":[{"iso":"eng"}],"date_created":"2019-02-20T13:39:05Z","user_id":"52534","citation":{"apa":"Pletat, U., Engels, G., &#38; Ehrich, H.-D. (1982). An Operational Approach to Conditional Algebraic Specifications. In <i>Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)</i> (Vol. 82, pp. 254–270).","short":"U. Pletat, G. Engels, H.-D. Ehrich, in: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 1982, pp. 254–270.","chicago":"Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>, 82:254–70, 1982.","ieee":"U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in <i>Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)</i>, 1982, vol. 82, pp. 254–270.","mla":"Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.” <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>, vol. 82, 1982, pp. 254–70.","bibtex":"@inproceedings{Pletat_Engels_Ehrich_1982, title={An Operational Approach to Conditional Algebraic Specifications}, volume={82}, booktitle={Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1982}, pages={254–270} }","ama":"Pletat U, Engels G, Ehrich H-D. An Operational Approach to Conditional Algebraic Specifications. In: <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>. Vol 82. ; 1982:254-270."},"volume":82,"title":"An Operational Approach to Conditional Algebraic Specifications","_id":"7812","department":[{"_id":"66"}],"abstract":[{"text":"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.","lang":"eng"}],"author":[{"last_name":"Pletat","full_name":"Pletat, Udo","first_name":"Udo"},{"first_name":"Gregor","id":"107","last_name":"Engels","full_name":"Engels, Gregor"},{"last_name":"Ehrich","full_name":"Ehrich, Hans-Dietrich","first_name":"Hans-Dietrich"}],"year":"1982","status":"public","intvolume":"        82"}