|Final Report of the COST-247 Action|
About partial functions
|CRIN-CNRS INRIA Lorraine|
|BP 239 - F-54506|
|Laboratoire d'Informatique de Besancon|
|Universite de Franche-Comte|
|16, route de Gray|
|25030 BESANCON CEDEX|
|Tel: +33 3 81 66 64 52|
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.