next up previous

Final Report of the COST-247 Action


About partial functions

Jean-Michel Hufflen

CRIN-CNRS INRIA Lorraine
BP 239 - F-54506
Vandoeuvre Cedex
France
Current address:
Laboratoire d'Informatique de Besancon
Universite de Franche-Comte
16, route de Gray
25030 BESANCON CEDEX
Tel: +33 3 81 66 64 52
E-mail: hufflen@univ-fcomte.fr

Abstract:

It is well known that partial functions are difficult to put in algebraic specifications. Several solutions to this problem have been proposed, and each has its advantages and drawbacks, from a theoretical as well as pratical viewpoint. In this talk, we survey these propositions---including partial algebras, error algebras, exception handlings, order-sorted algebras, label algebras---and discuss them.

This presentation has been given during the COST-247 3rd Management Committee Meeting (Evry, France, September 19--20, 1994).

COST-247 Working Group(s): 1


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page