{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:41Z","timestamp":1750221161505,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,19]],"date-time":"2018-06-19T00:00:00Z","timestamp":1529366400000},"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":[[2018,6,19]]},"DOI":"10.1145\/3219753.3219759","type":"proceedings-article","created":{"date-parts":[[2018,6,7]],"date-time":"2018-06-07T19:49:37Z","timestamp":1528400977000},"page":"42-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Proving a core code for FDM correct by 2 + dw tests"],"prefix":"10.1145","author":[{"given":"Magne","family":"Haveraaen","sequence":"first","affiliation":[{"name":"University of Bergen, Norway"}]}],"member":"320","published-online":{"date-parts":[[2018,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2011.10.1.a10"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_8"},{"volume-title":"A Comprehensive Set of Tools for Solving Partial Differential Equations","author":"Bruaset Are Magnus","key":"e_1_3_2_1_3_1","unstructured":"Are Magnus Bruaset and Hans Petter Langtangen . 1997. A Comprehensive Set of Tools for Solving Partial Differential Equations ; Diffpack. In Numerical Methods and Software Tools in Industrial Mathematics, Morten D\u00e6hlen and Aslak Tveito (Eds.). Birkh\u00e4user , Boston, 61\u201390. Are Magnus Bruaset and Hans Petter Langtangen. 1997. A Comprehensive Set of Tools for Solving Partial Differential Equations; Diffpack. In Numerical Methods and Software Tools in Industrial Mathematics, Morten D\u00e6hlen and Aslak Tveito (Eds.). Birkh\u00e4user, Boston, 61\u201390."},{"volume-title":"Advances in Applied Mechanics, Richard Von Mises and Theodore Von K\u00e1rm\u00e1n (Eds.).","author":"Burgers J.M.","key":"e_1_3_2_1_4_1","unstructured":"J.M. Burgers . 1948. A Mathematical Model Illustrating the Theory of Turbulence . In Advances in Applied Mechanics, Richard Von Mises and Theodore Von K\u00e1rm\u00e1n (Eds.). Vol. 1 . Elsevier , 171 \u2013 199. J.M. Burgers. 1948. A Mathematical Model Illustrating the Theory of Turbulence. In Advances in Applied Mechanics, Richard Von Mises and Theodore Von K\u00e1rm\u00e1n (Eds.). Vol. 1. Elsevier, 171 \u2013 199."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3219753.3219761"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2011.02.005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"e_1_3_2_1_8_1","volume-title":"Ershov Informatics Conference, PSI 2017","author":"Haveraaen Magne","year":"2017","unstructured":"Magne Haveraaen . 2017 . Domain Engineering the Magnolia Way. In Perspectives of System Informatics - 11th International Andrei P . Ershov Informatics Conference, PSI 2017 , Moscow, Russia , June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science), Alexander K. Petrenko and Andrei Voronkov (Eds.), Vol. 10742. Springer, 196\u2013210. Magne Haveraaen. 2017. Domain Engineering the Magnolia Way. In Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Lecture Notes in Computer Science), Alexander K. Petrenko and Andrei Voronkov (Eds.), Vol. 10742. Springer, 196\u2013210."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.12.001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134014"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322436.1322438"},{"key":"e_1_3_2_1_12_1","volume-title":"Elements of Programming","author":"Stepanov Alexander","unstructured":"Alexander Stepanov and Paul McJones . 2009. Elements of Programming ( 1 st ed.). Addison-Wesley Professional . Alexander Stepanov and Paul McJones. 2009. Elements of Programming (1st ed.). Addison-Wesley Professional.","edition":"1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380130205"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2012.6405251"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Philadelphia PA USA","acronym":"PLDI '18"},"container-title":["Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3219753.3219759","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3219753.3219759","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:43Z","timestamp":1750208923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3219753.3219759"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,19]]},"references-count":15,"alternative-id":["10.1145\/3219753.3219759","10.1145\/3219753"],"URL":"https:\/\/doi.org\/10.1145\/3219753.3219759","relation":{},"subject":[],"published":{"date-parts":[[2018,6,19]]},"assertion":[{"value":"2018-06-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}