{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:10:36Z","timestamp":1725675036324},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/scam.2011.13","type":"proceedings-article","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T18:01:55Z","timestamp":1320429715000},"page":"185-194","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Parallelization of Side-Effecting Higher-Order Scheme Programs"],"prefix":"10.1109","author":[{"given":"Jens","family":"Nicolay","sequence":"first","affiliation":[]},{"given":"Coen","family":"de Roover","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"de Meuter","sequence":"additional","affiliation":[]},{"given":"Viviane","family":"Jonckers","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Lambda-calculus, Combinators and Functional Programming","year":"2009","author":"revesz","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806631"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/173262.155113"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54007"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869491"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/55364.55416"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/337449.337465"},{"key":"ref2","first-page":"220","author":"flanagan","year":"1995","journal-title":"Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"},{"article-title":"PARCEL and MIPRAC: Parallelizers for Symbolic and Numeric Programs","year":"1992","author":"harrison","key":"ref9"},{"key":"ref1","first-page":"75","article-title":"Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability","author":"might","year":"2009","journal-title":"Technical Report CPSLO-CSC-09–03"}],"event":{"name":"2011 11th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM)","start":{"date-parts":[[2011,9,25]]},"location":"Williamsburg, VA, USA","end":{"date-parts":[[2011,9,26]]}},"container-title":["2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6063701\/6065167\/06065177.pdf?arnumber=6065177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T13:14:07Z","timestamp":1490102047000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6065177\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/scam.2011.13","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}