5 citations · 13 across the 7 of their papers we have counts for
1 paper · 1 filter
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…