Adding Partial Functions to Constraint Logic Programming with Sets

Maximiliano Cristia, Gianfranco Rossi, Claudia Frydman

Partial functions are common abstractions in formal specification notations such as Z, B and Alloy. Conversely, executable programming languages usually provide little or no suppor…