Algebraic and operational semantics of exceptions and errors

  • M. Gogolla
  • K. Drosten
  • U. Lipeck
  • H. D. Ehrich
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 145)


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 our specifications which coincides with the algebraic semantics.

Key words

Specification of abstract data types error and exception handling algebraic semantics correctness of specifications operational semantics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. ADJ 78.
    Goguen, J.A./Thatcher, J.W./Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. Current Trends in Programming Methodology, Vol. IV (R.T. Yeh, ed.). Prentice Hall, Englewood Cliffs, 1978, pp. 80–149.Google Scholar
  2. B1 80.
    Black,A.P.: Exception Handling and Data Abstraction. IBM Research Report RC 8059, 1980.Google Scholar
  3. Eh 79.
    Ehrich, H.-D.: On the Theory of Specification, Implementation and Parametrisation of Abstract Data Types. Journal ACM, Vol.29, 1982, pp. 206–227.Google Scholar
  4. EKTWW 81.
    Ehrig, H./Krewoski, H.-J./Thatcher, J.W./Wagner, E.G. /Wright, J.B.: Parameter Passing in Algebraic Specification Languages. Proc. Workshop on Algebraic Specification, Aarhus, 1981.Google Scholar
  5. EPE 81.
    Engels, G./Pletat,U./Ehrich,H.-D.: Handling Errors and Exceptions in the Algebraic Specification of Data Types. Osnabrücker Schriften zur Mathematik. Reihe Informatik, Heft 3, Univ. Osnabrück, 1981.Google Scholar
  6. GDLE 82.
    Gogolla,M./Drosten,K./Lipeck,U./Ehrich,H.D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Forschungsbericht Nr. 140, Abteilung Informatik, Univ. Dortmund. 1982. [Long Version of this Paper including the Proofs].Google Scholar
  7. GHM 77.
    Guttag, J.V./Horowitz, E./Musser, D.R.: Some Extensions to Algebraic Specifications. SIGPLAN Notices, Vol. 12, No. 3, March 1977, pp. 63–67.Google Scholar
  8. Go 78.1
    Goguen, J.A.: Abstract Errors for Abstract Data Types. Proc. Conf. on Formal Description of Programming Concepts (E.J. Neuhold, ed.), North-Holland, Amsterdam, 1978.Google Scholar
  9. Go 78.2
    Goguen, J.A.: Order Sorted Algebras: Exception and Error sorts, Coercions and Overloaded Operators. Semantics and Theory of Computation Report No. 14, University of California, Los Angeles, Dec. 1978.Google Scholar
  10. Gu 75.
    Guttag,J.V.: The Specification and Application to Programming of Abstract Data Types. Techn. Report CSRG-59. Univ. of Toronto, 1975.Google Scholar
  11. Hu 77.
    Huet,G.: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems. Proc. 18th IEEE Symp. on Foundations of Computer Science, 1977, pp. 30–45.Google Scholar
  12. LZ 74.
    Liskov, B./Zilles, S.: Programming with Abstract Data Types. SIGPLAN Notices Vol. 9, No. 4, April 1974, pp. 50–59.Google Scholar
  13. Ma 79.
    Majster, M.E.: Treatment of Partial Operations in the Algebraic Specification Technique. Proc. Specifications of Reliable Software, IEEE, 1979, pp. 190–197.Google Scholar
  14. O'D 77.
    O'Donnell, M.J.: Computing in Systems Described by Equations. LNCS 58, Springer Verlag, New York, 1977.Google Scholar
  15. Ro 73.
    Rosen, B.K.: Tree-Manipulating Systems and Church-Rosser Theorems. Journal ACM, Vol. 20, 1973, pp. 160–187.Google Scholar
  16. Wa 77.
    Wand, M.: algebraic Theories and Tree Rewriting Systems. Technical Report No. 66, Indiana Univ. Bloomington, Indiana, July 1977.Google Scholar
  17. WPPDB 80.
    Wirsing, M. / Pepper, P. / Partsch, H. / Dosch, W. / Broy, M.: On Hierachies of Abstract Data Types. Bericht TUM-18007, Institut für Informatik. Technische Univ. München, Mai 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • M. Gogolla
    • 1
  • K. Drosten
    • 1
  • U. Lipeck
    • 1
  • H. D. Ehrich
    • 2
  1. 1.Abteilung InformatikUniversität DortmundDortmund 50
  2. 2.Lehrstuhl B für Informatik, TU BraunschweigBraunschweig

Personalised recommendations