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