{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:35:09Z","timestamp":1730320509012,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/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,9,3]]},"DOI":"10.1145\/3236950.3236965","type":"proceedings-article","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T08:09:54Z","timestamp":1534234194000},"page":"1-12","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["An Internalist Approach to Correct-by-Construction Compilers"],"prefix":"10.1145","author":[{"given":"Alberto","family":"Pardo","sequence":"first","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}]},{"given":"Emmanuel","family":"Gunther","sequence":"additional","affiliation":[{"name":"FAMAF -- UNC and CONICET, C\u00f3rdoba, Argentina"}]},{"given":"Miguel","family":"Pagano","sequence":"additional","affiliation":[{"name":"FAMAF - Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina"}]},{"given":"Marcos","family":"Viera","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987171.1987179"},{"volume-title":"Refining Inductive Types. Logical Methods in Computer Science 8, 2","year":"2012","author":"Atkey Robert","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_10"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796814000069"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036918.2036921"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111042"},{"key":"e_1_3_2_1_8_1","unstructured":"Cecilia Manzino. 2018. Security preserving program translations. Master's thesis. PEDECIBA Inform\u00e1tica Universidad de la Rep\u00fablica Uruguay. Cecilia Manzino. 2018. Security preserving program translations. Master's thesis. PEDECIBA Inform\u00e1tica Universidad de la Rep\u00fablica Uruguay."},{"key":"e_1_3_2_1_9_1","volume-title":"SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings (Lecture Notes in Computer Science), Fernando Magno Quint\u00e3o Pereira (Ed.)","volume":"8771","author":"Manzino Cecilia","year":"2014"},{"key":"e_1_3_2_1_10_1","unstructured":"Per Martin-L\u00f6f. 1984. Intuitionistic Type Theory. Bibliopolis. Per Martin-L\u00f6f. 1984. Intuitionistic Type Theory. Bibliopolis."},{"volume-title":"Ornamental algebras, algebraic ornaments. unpublished","year":"2011","author":"McBride Conor","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364529"},{"volume-title":"Correctness of a compiler for arithmetic expressions","author":"McCarthy John","key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1090\/psapm\/019\/0242403"},{"volume-title":"A type-correct, stack-safe, provably correct, expression compiler. Submitted to the Journal of Functional Programming","year":"2006","author":"McKinna James","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512941"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_23"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/647468.727085"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633628.2633631"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158109"}],"event":{"name":"PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Goethe University Goethe University Frankfurt"],"location":"Frankfurt am Main Germany","acronym":"PPDP '18"},"container-title":["Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236950.3236965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T17:39:57Z","timestamp":1673717997000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":19,"alternative-id":["10.1145\/3236950.3236965","10.1145\/3236950"],"URL":"https:\/\/doi.org\/10.1145\/3236950.3236965","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}