Algebraic and operational semantics of specifications allowing exceptions and errors
Under an Elsevier user license
open archive
Keywords
Specification of abstract data types
error and exception handling
algebraic semantics
correctness of specifications
operational semantics
Cited by (0)
Copyright © 1984 Published by Elsevier B.V.