{"date_created":"2019-01-31T15:56:22Z","publication":"Acta Informatica","_id":"7412","year":"1983","citation":{"bibtex":"@article{Engels_Pletat_Ehrich_1983, title={An Operational Semantics for Specifications of Abstract Data Types with Error Handling}, volume={9}, DOI={<a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>}, number={3}, journal={Acta Informatica}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1983}, pages={235–254} }","ieee":"G. Engels, U. Pletat, and H.-D. Ehrich, “An Operational Semantics for Specifications of Abstract Data Types with Error Handling,” <i>Acta Informatica</i>, vol. 9, no. 3, pp. 235–254, 1983.","short":"G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.","chicago":"Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” <i>Acta Informatica</i> 9, no. 3 (1983): 235–54. <a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>.","mla":"Engels, Gregor, et al. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” <i>Acta Informatica</i>, vol. 9, no. 3, 1983, pp. 235–54, doi:<a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>.","ama":"Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. <i>Acta Informatica</i>. 1983;9(3):235-254. doi:<a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>","apa":"Engels, G., Pletat, U., &#38; Ehrich, H.-D. (1983). An Operational Semantics for Specifications of Abstract Data Types with Error Handling. <i>Acta Informatica</i>, <i>9</i>(3), 235–254. <a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>"},"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"A new approach to an operational treatment of errors and exceptions in specifications of abstract data types is presented. Considering a specification as a term rewriting system, we define an operational semantics and give conditions that are sufficient for its well-definedness (Church-Rosser property). Also, we give conditions that are sufficient for the termination of reduction strategies, respecting the specified error and exception handling."}],"date_updated":"2022-01-06T07:03:36Z","title":"An Operational Semantics for Specifications of Abstract Data Types with Error Handling","user_id":"52534","type":"journal_article","intvolume":"         9","page":"235-254","status":"public","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Udo","last_name":"Pletat","full_name":"Pletat, Udo"},{"last_name":"Ehrich","first_name":"Hans-Dietrich","full_name":"Ehrich, Hans-Dietrich"}],"issue":"3","volume":9,"doi":"http://dx.doi.org/10.1007/BF00265557","department":[{"_id":"66"}]}