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

Saved in:

Bibliographic Details
Title:	An operational semantics for specifications of abstract data types with error handling.
Authors:	Engels, G.¹, Pletat, U.², Ehrich, H.³
Source:	Acta Informatica. 1983, Vol. 19 Issue 3, p235-253. 19p.
Database:	Mathematics Source

Description
ISSN:	00015903
DOI:	10.1007/BF00265557