[{"type":"journal_article","citation":{"ieee":"G. Engels, U. Pletat, and H.-D. Ehrich, “An Operational Semantics for Specifications of Abstract Data Types with Error Handling,” Acta Informatica, vol. 9, no. 3, pp. 235–254, 1983.","short":"G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.","mla":"Engels, Gregor, et al. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica, vol. 9, no. 3, 1983, pp. 235–54, doi:http://dx.doi.org/10.1007/BF00265557.","bibtex":"@article{Engels_Pletat_Ehrich_1983, title={An Operational Semantics for Specifications of Abstract Data Types with Error Handling}, volume={9}, DOI={http://dx.doi.org/10.1007/BF00265557}, number={3}, journal={Acta Informatica}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1983}, pages={235–254} }","apa":"Engels, G., Pletat, U., & Ehrich, H.-D. (1983). An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica, 9(3), 235–254. http://dx.doi.org/10.1007/BF00265557","chicago":"Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica 9, no. 3 (1983): 235–54. http://dx.doi.org/10.1007/BF00265557."},"uri_base":"https://ris.uni-paderborn.de","page":"235-254","issue":"3","intvolume":" 9","_id":"7412","status":"public","date_created":"2019-01-31T15:56:22Z","volume":9,"author":[{"first_name":"Gregor","id":"107","last_name":"Engels"},{"first_name":"Udo","last_name":"Pletat"},{"first_name":"Hans-Dietrich","last_name":"Ehrich"}],"publication":"Acta Informatica","user_id":"52534","abstract":[{"lang":"eng"}],"language":[{}],"creator":{"id":"52534","login":"milanp"},"date_updated":"2022-01-06T07:03:36Z","dini_type":"doc-type:article","department":[{"_id":"66","tree":[{"_id":"7"},{"_id":"34"},{"_id":"44"},{"_id":"43"}]}],"dc":{"title":["An Operational Semantics for Specifications of Abstract Data Types with Error Handling"],"creator":["Engels, Gregor","Pletat, Udo","Ehrich, Hans-Dietrich"],"source":["Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica. 1983;9(3):235-254. doi:http://dx.doi.org/10.1007/BF00265557"],"date":["1983"],"relation":["info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/BF00265557"],"description":["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."],"identifier":["https://ris.uni-paderborn.de/record/7412"],"type":["info:eu-repo/semantics/article","doc-type:article","text","http://purl.org/coar/resource_type/c_6501"],"language":["eng"],"rights":["info:eu-repo/semantics/closedAccess"]}}]