%0 Conference Paper %1 conf/oopsla/MishneSY12 %A Mishne, Alon %A Shoham, Sharon %A Yahav, Eran %B OOPSLA %D 2012 %E Leavens, Gary T. %E Dwyer, Matthew B. %I ACM %K dblp %P 997-1016 %T Typestate-based semantic code search over partial programs. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#MishneSY12 %@ 978-1-4503-1561-6

@inproceedings{conf/oopsla/MishneSY12, added-at = {2021-06-24T00:00:00.000+0200}, author = {Mishne, Alon and Shoham, Sharon and Yahav, Eran}, biburl = {https://www.bibsonomy.org/bibtex/2301e2e4980f27b667fa8d0a7366dfa13/dblp}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2012}, editor = {Leavens, Gary T. and Dwyer, Matthew B.}, ee = {https://doi.org/10.1145/2398857.2384689}, interhash = {0a2a183aaa2c4639dd19611774fd831e}, intrahash = {301e2e4980f27b667fa8d0a7366dfa13}, isbn = {978-1-4503-1561-6}, keywords = {dblp}, pages = {997-1016}, publisher = {ACM}, timestamp = {2024-04-09T11:46:11.000+0200}, title = {Typestate-based semantic code search over partial programs.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#MishneSY12}, year = 2012 }