{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T22:40:03Z","timestamp":1762641603442,"version":"build-2065373602"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/live.2013.6617345","type":"proceedings-article","created":{"date-parts":[[2013,10,10]],"date-time":"2013-10-10T23:27:23Z","timestamp":1381447643000},"page":"27-30","source":"Crossref","is-referenced-by-count":13,"title":["Visual code annotations for cyberphysical programming"],"prefix":"10.1109","author":[{"given":"Ben","family":"Swift","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Sorensen","sequence":"additional","affiliation":[]},{"given":"Henry","family":"Gardner","sequence":"additional","affiliation":[]},{"given":"John","family":"Hosking","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-642-27705-4_12","article-title":"LLBMC: Bounded model checking of C and C++ programs using a compiler IR","author":"merz","year":"2012","journal-title":"VSTTE2005 Verified Software Theories"},{"key":"13","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1109\/ASWEC.2010.18","article-title":"In situ software visualisation","author":"harward","year":"2010","journal-title":"Software Engineering Conference (ASWEC) 2010 21st Australian"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1879211.1879216"},{"key":"12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1240624.1240631","article-title":"Matching attentional draw with utility in interruption","author":"gluck","year":"2007","journal-title":"CHI '07"},{"key":"3","volume":"22","author":"ungar","year":"1987","journal-title":"Self The Power of Simplicity"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1017\/S135577180300030X"},{"journal-title":"Just-in-time Programming Watch What i Do Programming by Demonstration","year":"1993","author":"potter","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081725"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(92)90004-5"},{"year":"0","author":"sorensen","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869526"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297075"},{"journal-title":"Human Factors and Typography for More Readable Programs","year":"1989","author":"baecker","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985914"}],"event":{"name":"2013 1st International Workshop on Live Programming (LIVE)","start":{"date-parts":[[2013,5,19]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 1st International Workshop on Live Programming (LIVE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6599030\/6617334\/06617345.pdf?arnumber=6617345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T23:29:56Z","timestamp":1498087796000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6617345\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/live.2013.6617345","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}