%0 Conference Paper %1 31771 %A Zahn, C. T. %B SIGCSE '87: Proceedings of the eighteenth SIGCSE technical symposium on Computer science education %C New York, NY, USA %D 1987 %I ACM %K 2010 bubblesort kde reflections seminar sorting %P 264--266 %R 10.1145/31820.31771 %T Bubble reflections %U http://portal.acm.org/citation.cfm?id=31820.31771&coll=Portal&dl=ACM&CFID=88783638&CFTOKEN=43238344 %X A published version of Bubblesort is analyzed via correctness arguments and the failure of these arguments leads to the discovery of a subtle bug. A simple change produces a correct version and a not-so-trivial proof of termination completes the total correctness demonstration for the revised algorithm. Several important lessons are extracted from this experience. %@ 0-89791-217-9

@inproceedings{31771, abstract = {A published version of Bubblesort is analyzed via correctness arguments and the failure of these arguments leads to the discovery of a subtle bug. A simple change produces a correct version and a not-so-trivial proof of termination completes the total correctness demonstration for the revised algorithm. Several important lessons are extracted from this experience.}, added-at = {2010-05-18T17:44:56.000+0200}, address = {New York, NY, USA}, author = {Zahn, C. T.}, biburl = {https://www.bibsonomy.org/bibtex/22d7d5117dd9074a556a9fc59bb4e877c/redw0lf}, booktitle = {SIGCSE '87: Proceedings of the eighteenth SIGCSE technical symposium on Computer science education}, description = {Bubble reflections}, doi = {10.1145/31820.31771}, interhash = {56046efb186dd97c5bcf17608042d151}, intrahash = {2d7d5117dd9074a556a9fc59bb4e877c}, isbn = {0-89791-217-9}, keywords = {2010 bubblesort kde reflections seminar sorting}, location = {St. Louis, Missouri, United States}, pages = {264--266}, publisher = {ACM}, timestamp = {2010-05-18T17:44:56.000+0200}, title = {Bubble reflections}, url = {http://portal.acm.org/citation.cfm?id=31820.31771&coll=Portal&dl=ACM&CFID=88783638&CFTOKEN=43238344}, year = 1987 }