{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:45:46Z","timestamp":1729622746328,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/vlhcc.2009.5295272","type":"proceedings-article","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T13:32:36Z","timestamp":1257427956000},"page":"170-173","source":"Crossref","is-referenced-by-count":1,"title":["A rewriting paradigm for program and algorithm animation"],"prefix":"10.1109","author":[{"given":"Ian","family":"Mackie","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Realtime Signal Processing Dataflow Visual","year":"1995","author":"reekie","key":"13"},{"key":"14","article-title":"PROGRES, a visual language and environment for PROgramming with Graph REwrite Systems","author":"scu?hrr","year":"1994","journal-title":"A Technical Report"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96718"},{"key":"12","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-540-25979-4_11","article-title":"Efficient ?-evaluation with interaction nets","volume":"3091","author":"mackie","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"article-title":"Higher-order functional composition in visual form","year":"1996","author":"dami","key":"3"},{"key":"2","first-page":"145","article-title":"LOGRAPH: A graphical logic programming language","author":"cox","year":"1985","journal-title":"Proceedings IEEE COMPINT 85 Computer Aided Technologies"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54317-1_79"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87730-1_17"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581493"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00082-0"},{"year":"2002","author":"kelso","key":"9"},{"key":"8","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"kahn","year":"1974","journal-title":"Information Processing"}],"event":{"name":"2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","start":{"date-parts":[[2009,9,20]]},"location":"Corvallis, OR, USA","end":{"date-parts":[[2009,9,24]]}},"container-title":["2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5289332\/5295238\/05295272.pdf?arnumber=5295272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T21:27:51Z","timestamp":1497821271000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5295272\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/vlhcc.2009.5295272","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}