An operational semantics for specifications of abstract data types with error handling

DOI10.1007/BF00265557zbMath0489.68013OpenAlexW2061076675MaRDI QIDQ1166919

U. Pletat, Gregor Engels, Hans-Dieter Ehrich

Publication date: 1983

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00265557

zbMATH Keywords

exception handlingChurch-Rosser propertyterm rewriting systemreduction strategies

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

Data types with errors and exceptions

This page was built for publication: An operational semantics for specifications of abstract data types with error handling