Equality and hashing for (almost) free: Generating implementations from abstraction functions

Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson. Equality and hashing for (almost) free: Generating implementations from abstraction functions. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. pages 342-352, IEEE, 2009. [doi]

Authors

Derek Rayside

This author has not been identified. Look up 'Derek Rayside' in Google

Zev Benjamin

This author has not been identified. Look up 'Zev Benjamin' in Google

Rishabh Singh

This author has not been identified. Look up 'Rishabh Singh' in Google

Joseph P. Near

This author has not been identified. Look up 'Joseph P. Near' in Google

Aleksandar Milicevic

This author has not been identified. Look up 'Aleksandar Milicevic' in Google

Daniel Jackson

This author has not been identified. Look up 'Daniel Jackson' in Google