×
2009
Equality and hashing for (almost) free: Generating implementations from abstraction functions.
[DOI]
Derek Rayside
,
Zev Benjamin
,
Rishabh Singh
,
Joseph P. Near
,
Aleksandar Milicevic
,
Daniel Jackson
Proceedings of the 31st International Conference on Software Engineering, 2009