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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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).
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.
Boisson F., Guiho G., Pavot D., "Algebres a Operateurs Multicibles" Report LRI 132, Orsay, June 1983.
Broy M., Wirsing M., "Partial Abstract Data Types" Acta Informatica, Vol.18–1, Nov 1982.
Engels G., Pletat V., Ehrich H. "Handling Errliors and Exceptions in the Algebraic Specification of Data Types" Osnabruecker Schriften zur Mathematik, July 1981.
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.
Goguen J.A., "Abstract errors for abstract data types" in Formal Description of Programming Concepts E.J. Neuhold Ed., North Holland, New York 1977.
Goguen J.A., "Exception and Error Sorts, Coercion and Overloading Operators" S.R.I. Research Report, 1978.
Guttag J.V., "The Specification and Application to Programming" Ph.D. Thesis, University of Toronto, 1975.
Guttag J.V., "Notes on Type Abstraction (Version 2)" I.E.E.E. Transactions on Software Engineering, 1979.
Loeckx J., "Algorithmic Specifications of Abstract Data Types" ICALP 1981.
Liskov B., Zilles S., "Specifications techniques for Data Abstractions" I.E.E.E. Transactions on Software Engineering, Vol. SE-1 N 1, March 1975.
Plaisted D. "An initial algebra semantics for error presentations" Unpublished Draft, 1982
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bidoit, M. (1984). Algebraic specification of exception handling and error recovery by means of declarations and equations. In: Paredaens, J. (eds) Automata, Languages and Programming. ICALP 1984. Lecture Notes in Computer Science, vol 172. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13345-3_8
Download citation
DOI: https://doi.org/10.1007/3-540-13345-3_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13345-2
Online ISBN: 978-3-540-38886-9
eBook Packages: Springer Book Archive