Klaus Drosten

Learn More
The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing all forms of error handling : error introduction, error propagation and error recovery. The algebraic semantics Of our method and a new correctness criterion is given. We also introduce an operational semantics of a subclass of(More)
The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing all forms of error handling: error introduction, error propagation and error recovery. The algebraic semantics of our method and a new correctness criterion are given. We also introduce an operational semanti es of a subdass of(More)
  • 1