208
click to vote
ACMMPC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...