{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:08Z","timestamp":1750306148804,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T00:00:00Z","timestamp":1476921600000},"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":[[2016,10,20]]},"DOI":"10.1145\/2986012.2986025","type":"proceedings-article","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T14:16:42Z","timestamp":1477059402000},"page":"74-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Building white-box abstractions by program refinement"],"prefix":"10.1145","author":[{"given":"Mehrdad","family":"Afshari","sequence":"first","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"University of California at Davis, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Git. https:\/\/git-scm.com\/.  Git. https:\/\/git-scm.com\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Go programming language. https:\/\/golang.org\/.  Go programming language. https:\/\/golang.org\/."},{"key":"e_1_3_2_1_3_1","volume-title":"Structure and Interpretation of Computer Programs","author":"Abelson H.","year":"1996","unstructured":"H. Abelson and G. J. Sussman . Structure and Interpretation of Computer Programs . MIT Press , Cambridge, MA, USA , 2 nd edition, 1996 . H. Abelson and G. J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, MA, USA, 2nd edition, 1996.","edition":"2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384595"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029007"},{"key":"e_1_3_2_1_6_1","first-page":"31","volume-title":"Proceedings of the Second Conference on Applications of Simulations","author":"Dahl O.-J.","year":"1968","unstructured":"O.-J. Dahl , B. Myhrhaug , and K. Nygaard . Some features of the SIMULA 67 language . In Proceedings of the Second Conference on Applications of Simulations , pages 29\u2013 31 , 1968 . O.-J. Dahl, B. Myhrhaug, and K. Nygaard. Some features of the SIMULA 67 language. In Proceedings of the Second Conference on Applications of Simulations, pages 29\u201331, 1968."},{"key":"e_1_3_2_1_7_1","volume-title":"Smalltalk-80: The Language and Its Implementation","author":"Goldberg A.","year":"1983","unstructured":"A. Goldberg and D. Robson . Smalltalk-80: The Language and Its Implementation . 1983 . A. Goldberg and D. Robson. Smalltalk-80: The Language and Its Implementation. 1983."},{"key":"e_1_3_2_1_8_1","first-page":"245","volume-title":"Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI\u201973","author":"Hewitt C.","year":"1973","unstructured":"C. Hewitt , P. Bishop , and R. Steiger . A universal modular actor formalism for artificial intelligence . In Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI\u201973 , pages 235\u2013 245 , 1973 . C. Hewitt, P. Bishop, and R. Steiger. A universal modular actor formalism for artificial intelligence. In Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI\u201973, pages 235\u2013245, 1973."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.30"},{"key":"e_1_3_2_1_10_1","volume-title":"Towards a new model of abstraction in the engineering of software","author":"Kiczales G.","year":"1992","unstructured":"G. Kiczales . Towards a new model of abstraction in the engineering of software , 1992 . G. Kiczales. Towards a new model of abstraction in the engineering of software, 1992."},{"key":"e_1_3_2_1_11_1","first-page":"242","volume-title":"Aspect-oriented programming","author":"Kiczales G.","year":"1997","unstructured":"G. Kiczales , J. Lamping , A. Mendhekar , C. Maeda , C. Lopes , J.-M. Loingtier , and J. Irwin . Aspect-oriented programming . In M. Ak\u00b8sit and S. Matsuoka, editors, ECOOP \u201997, pages 220\u2013 242 , 1997 . G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Ak\u00b8sit and S. Matsuoka, editors, ECOOP \u201997, pages 220\u2013242, 1997."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081737"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/800233.807045"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"J. Locke. An essay concerning human understanding. 1689.  J. Locke. An essay concerning human understanding. 1689.","DOI":"10.1093\/oseo\/instance.00018020"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2004.35"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Amsterdam Netherlands","acronym":"SPLASH '16"},"container-title":["Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2986012.2986025","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2986012.2986025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:39:33Z","timestamp":1750217973000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2986012.2986025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,20]]},"references-count":16,"alternative-id":["10.1145\/2986012.2986025","10.1145\/2986012"],"URL":"https:\/\/doi.org\/10.1145\/2986012.2986025","relation":{},"subject":[],"published":{"date-parts":[[2016,10,20]]},"assertion":[{"value":"2016-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}