Springer
CD-ROM OverviewTable of ContentsSearch

4  Partial Functions

Michel Bidoit1 and Peter D. Mosses2

1 Laboratoire Spécification et Vérification, CNRS UMR 8643
École Normale Supérieure de Cachan
61, Avenue du Président Wilson, 94235 Cachan Cedex, France
bidoit@lsv.ens-cachan.fr

2 University of Aarhus, BRICS and Department of Computer Science
Aabogade 34, 8200 Aarhus N, Denmark
pdmosses@brics.dk

Abstract. Partial functions arise naturally.

Partial functions arise in a number of situations. CASL provides means for the declaration of partial functions, the specification of their domains of definition, and more generally the specification of system properties involving partial functions. The aim of this chapter is to discuss and illustrate how to handle partial functions in CASL specifications.

LNCS 2900, pp. 47 - 56

Full article in PDF


lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004