{"year":"1983","title":"An Operational Semantics for Specifications of Abstract Data Types with Error Handling","volume":9,"issue":"3","author":[{"first_name":"Gregor","id":"107","last_name":"Engels","full_name":"Engels, Gregor"},{"last_name":"Pletat","full_name":"Pletat, Udo","first_name":"Udo"},{"full_name":"Ehrich, Hans-Dietrich","last_name":"Ehrich","first_name":"Hans-Dietrich"}],"user_id":"52534","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"type":"journal_article","intvolume":"         9","abstract":[{"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.","lang":"eng"}],"page":"235-254","publication":"Acta Informatica","_id":"7412","citation":{"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.","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>.","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>","short":"G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.","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} }","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>","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>."},"status":"public","doi":"http://dx.doi.org/10.1007/BF00265557","date_updated":"2022-01-06T07:03:36Z","date_created":"2019-01-31T15:56:22Z"}