@inproceedings{DBLP:conf/icse/RaysideBSNMJ09,
  author    = {Derek Rayside and
               Zev Benjamin and
               Rishabh Singh and
               Joseph P. Near and
               Aleksandar Milicevic and
               Daniel Jackson},
  title     = {Equality and hashing for (almost) free: Generating implementations
               from abstraction functions},
  booktitle = {31st International Conference on Software Engineering, ICSE
               2009, May 16-24, 2009, Vancouver, Canada, Proceedings},
  year      = {2009},
  pages     = {342-352},
 url_paper={pubs/2009/icse09-object-contract.pdf}
}

{"_id":"sFEjjiY7YtwohWL2u","bibbaseid":"rayside-benjamin-singh-near-milicevic-jackson-equalityandhashingforalmostfreegeneratingimplementationsfromabstractionfunctions-2009","author_short":["Rayside, D.","Benjamin, Z.","Singh, R.","Near, J. P.","Milicevic, A.","Jackson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Derek"],"propositions":[],"lastnames":["Rayside"],"suffixes":[]},{"firstnames":["Zev"],"propositions":[],"lastnames":["Benjamin"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Joseph","P."],"propositions":[],"lastnames":["Near"],"suffixes":[]},{"firstnames":["Aleksandar"],"propositions":[],"lastnames":["Milicevic"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Equality and hashing for (almost) free: Generating implementations from abstraction functions","booktitle":"31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings","year":"2009","pages":"342-352","url_paper":"pubs/2009/icse09-object-contract.pdf","bibtex":"@inproceedings{DBLP:conf/icse/RaysideBSNMJ09,\n author = {Derek Rayside and\n Zev Benjamin and\n Rishabh Singh and\n Joseph P. Near and\n Aleksandar Milicevic and\n Daniel Jackson},\n title = {Equality and hashing for (almost) free: Generating implementations\n from abstraction functions},\n booktitle = {31st International Conference on Software Engineering, ICSE\n 2009, May 16-24, 2009, Vancouver, Canada, Proceedings},\n year = {2009},\n pages = {342-352},\n url_paper={pubs/2009/icse09-object-contract.pdf}\n}\n\n","author_short":["Rayside, D.","Benjamin, Z.","Singh, R.","Near, J. P.","Milicevic, A.","Jackson, D."],"key":"DBLP:conf/icse/RaysideBSNMJ09","id":"DBLP:conf/icse/RaysideBSNMJ09","bibbaseid":"rayside-benjamin-singh-near-milicevic-jackson-equalityandhashingforalmostfreegeneratingimplementationsfromabstractionfunctions-2009","role":"author","urls":{" paper":"https://groups.csail.mit.edu/sdg/pubs/2009/icse09-object-contract.pdf"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","BD7bKLMmjzry4ihss","MautteQst6amcB23d","wMJeHpusdrqyLjYzw","SGcC92B9tzz6T6Txn"],"keywords":[],"search_terms":["equality","hashing","free","generating","implementations","abstraction","functions","rayside","benjamin","singh","near","milicevic","jackson"],"title":"Equality and hashing for (almost) free: Generating implementations from abstraction functions","year":2009,"downloads":3}