Algebraic specification of exception handling and error recovery by means of declarations and equations

  • Michel Bidoit
Conference paper
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 172)

Abstract

In this paper, we first discuss the various algebraic approaches to exception handling specification. We show that none of them is completely satisfactory, and we explain why the algebraic specification of exception handling (error introduction, error propagation and error recovery) must not be made using only equations, but also "declarations". We present an approach allowing all forms of error handling, and at the same time keeping specifications well-structured and easily understandable.

Keywords

Operational Semantic Error Message Error Recovery Exception Handling Ground Term 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ADJ 76]
    Goguen J., Thatcher J. Wagner E., "An Initial Algebra approach to the specification, correctness, and implementation of abstract data types" in Current Trends in Programming Methodology, Vol. 4, Yeh Ed. Prentice Hall, 1978 (also IBM Report RC 6487, October 1976).Google Scholar
  2. [BG 83]
    Bidoit M., Gaudel M.C., "Etudes des methodes de specification des cas d'exceptions dans les types abstraits algebriques", Report L.R.J, Orsay, 1983.Google Scholar
  3. [BGP 83]
    Boisson F., Guiho G., Pavot D., "Algebres a Operateurs Multicibles" Report LRI 132, Orsay, June 1983.Google Scholar
  4. [BW 82]
    Broy M., Wirsing M., "Partial Abstract Data Types" Acta Informatica, Vol.18–1, Nov 1982.Google Scholar
  5. [EHR 81]
    Engels G., Pletat V., Ehrich H. "Handling Errliors and Exceptions in the Algebraic Specification of Data Types" Osnabruecker Schriften zur Mathematik, July 1981.Google Scholar
  6. [EHR 83]
    Gogolla M., Drosten K., Lipeck U., Ehrich H., "Algebraic and operational semantics of specifications allowing exceptions and errors" Proc. 6th GT-Conference on Theoretical Computer Science, INCS 145, 1983, Springer-Verlag.Google Scholar
  7. [GOG 77]
    Goguen J.A., "Abstract errors for abstract data types" in Formal Description of Programming Concepts E.J. Neuhold Ed., North Holland, New York 1977.Google Scholar
  8. [GOG 78]
    Goguen J.A., "Exception and Error Sorts, Coercion and Overloading Operators" S.R.I. Research Report, 1978.Google Scholar
  9. [GUT 75]
    Guttag J.V., "The Specification and Application to Programming" Ph.D. Thesis, University of Toronto, 1975.Google Scholar
  10. [GUT 78]
    Guttag J.V., "Notes on Type Abstraction (Version 2)" I.E.E.E. Transactions on Software Engineering, 1979.Google Scholar
  11. [LOE 81]
    Loeckx J., "Algorithmic Specifications of Abstract Data Types" ICALP 1981.Google Scholar
  12. [LZ 75]
    Liskov B., Zilles S., "Specifications techniques for Data Abstractions" I.E.E.E. Transactions on Software Engineering, Vol. SE-1 N 1, March 1975.Google Scholar
  13. [PLA 82]
    Plaisted D. "An initial algebra semantics for error presentations" Unpublished Draft, 1982Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Michel Bidoit
    • 1
  1. 1.CNRS, ERA 452 "AL KHOWARIZMI" Laboratoire de recherche en Informatique Bat. 490 Universite de PARIS-SUDORSAY CEDEXFRANCE

Personalised recommendations