|
| 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 |
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