{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:36Z","timestamp":1750307496647,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T00:00:00Z","timestamp":1287964800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,25]]},"DOI":"10.1145\/1879211.1879252","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"223-224","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Understanding relaxed memory consistency through interactive visualization"],"prefix":"10.1145","author":[{"given":"\u00d8ystein","family":"Thorsen","sequence":"first","affiliation":[{"name":"Michigan Technological University, Houghton, USA"}]},{"given":"Charles","family":"Wallace","sequence":"additional","affiliation":[{"name":"Michigan Technological University, Houghton, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"D.A. Lagnado M.R. Waldmann Y.Hagmayer and S.A. Sloman (2007).Beyond covariation: Cues to causal structure.In Alison Gopnik and Laura Schulz (eds.) Causal learning: psychology philosophy and computation Oxford University Press 154--172.  D.A. Lagnado M.R. Waldmann Y.Hagmayer and S.A. Sloman (2007).Beyond covariation: Cues to causal structure.In Alison Gopnik and Laura Schulz (eds.) Causal learning: psychology philosophy and computation Oxford University Press 154--172.","DOI":"10.1093\/acprof:oso\/9780195176803.003.0011"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"volume-title":"Workshop on Verified Software: Theories, Tools, Experiments (VSTTE","year":"2006","author":"Thorsen Oystein","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","unstructured":"UPC Consortium (2005). UPC Specification V 1.2.Available at http:\/\/www.upc.gwu.edu  UPC Consortium (2005). UPC Specification V 1.2.Available at http:\/\/www.upc.gwu.edu"},{"key":"e_1_3_2_1_6_1","unstructured":"Yue Yang Ganesh Gopalakrishnan Gary Lindstrom and Konrad Slind (2004).Nemos: A framework for axiomatic and executable specifications of memory consistency models.International Parallel and Distributed Processing Symposium (IPDPS'04).  Yue Yang Ganesh Gopalakrishnan Gary Lindstrom and Konrad Slind (2004).Nemos: A framework for axiomatic and executable specifications of memory consistency models.International Parallel and Distributed Processing Symposium (IPDPS'04)."}],"event":{"name":"SOFTVIS '10: International Symposium on Software Visualization","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCHI ACM Special Interest Group on Computer-Human Interaction","SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Salt Lake City Utah USA","acronym":"SOFTVIS '10"},"container-title":["Proceedings of the 5th international symposium on Software visualization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879211.1879252","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879211.1879252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:17:40Z","timestamp":1750249060000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879211.1879252"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,25]]},"references-count":6,"alternative-id":["10.1145\/1879211.1879252","10.1145\/1879211"],"URL":"https:\/\/doi.org\/10.1145\/1879211.1879252","relation":{},"subject":[],"published":{"date-parts":[[2010,10,25]]},"assertion":[{"value":"2010-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}