{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:26Z","timestamp":1750307546216,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,4,1]],"date-time":"2007-04-01T00:00:00Z","timestamp":1175385600000},"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":[[2007,4]]},"DOI":"10.1145\/1622123.1622152","type":"proceedings-article","created":{"date-parts":[[2009,10,8]],"date-time":"2009-10-08T17:31:08Z","timestamp":1255023068000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic ADTs"],"prefix":"10.1145","author":[{"given":"Geoff","family":"Wozniak","sequence":"first","affiliation":[{"name":"University of Western Ontario, London, Ontario, Canada"}]},{"given":"Mark","family":"Daley","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, Ontario, Canada"}]},{"given":"Stephen","family":"Watt","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, Ontario, Canada"}]}],"member":"320","published-online":{"date-parts":[[2007,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Language Concepts","author":"Lisp Symbolic Common","year":"1986","unstructured":"Symbolic Common Lisp : Language Concepts , volume 7 , chapter 5: Table Management. Symbolics Inc ., 1986 . Symbolic Common Lisp: Language Concepts, volume 7, chapter 5: Table Management. Symbolics Inc., 1986."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133993"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/AIDM.2006.4"},{"key":"e_1_3_2_1_4_1","first-page":"165","volume-title":"Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications","author":"Blaine L.","year":"1991","unstructured":"L. Blaine and A. Goldberg . DTRE - a semi-automatic transformation system. In B. M\u00f6ller, editor , Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications , pages 165 -- 204 , Amsterdam , 1991 . North-Holland. L. Blaine and A. Goldberg. DTRE - a semi-automatic transformation system. In B. M\u00f6ller, editor, Proceedings of the IFIP TC2 Working Conference on Constructing Programs from Specifications, pages 165--204, Amsterdam, 1991. North-Holland."},{"key":"e_1_3_2_1_5_1","volume-title":"Introduction to Algorithms","author":"Corman T. H.","year":"2001","unstructured":"T. H. Corman , C. E. Leiserson , R. L. Rivest , and C. Stein . Introduction to Algorithms . MIT Press , 2 nd edition, 2001 . T. H. Corman, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. MIT Press, 2nd edition, 2001.","edition":"2"},{"key":"e_1_3_2_1_6_1","volume-title":"Creativity: Flow and the Psychology of Discovery and Invention","author":"Csikszentmihalyi M.","year":"1996","unstructured":"M. Csikszentmihalyi . Creativity: Flow and the Psychology of Discovery and Invention . HarperCollins , New York , 1996 . M. Csikszentmihalyi. Creativity: Flow and the Psychology of Discovery and Invention. HarperCollins, New York, 1996."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167510"},{"key":"e_1_3_2_1_8_1","unstructured":"T. Granlund. The GNU MP manual. http:\/\/www.swox.com\/gmp\/ (valid 20 Feb 2007).  T. Granlund. The GNU MP manual. http:\/\/www.swox.com\/gmp\/ (valid 20 Feb 2007)."},{"key":"e_1_3_2_1_9_1","volume-title":"http:\/\/common-lisp.net\/project\/cl-containers\/ (valid","author":"King G.","year":"2007","unstructured":"G. King . CL-containers. http:\/\/common-lisp.net\/project\/cl-containers\/ (valid 20 Feb 2007 ). G. King. CL-containers. http:\/\/common-lisp.net\/project\/cl-containers\/ (valid 20 Feb 2007)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/778559.778562"},{"key":"e_1_3_2_1_11_1","volume-title":"The Art of Computer Programming: Searching and Sorting","author":"Knuth D.","year":"1998","unstructured":"D. Knuth . The Art of Computer Programming: Searching and Sorting , volume 3 . Addison-Wesley Professional , 1998 . D. Knuth. The Art of Computer Programming: Searching and Sorting, volume 3. Addison-Wesley Professional, 1998."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/800168.811540"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/10930755_6","volume-title":"Theorem Proving in Higher Order Logics","author":"Magaud N.","year":"2003","unstructured":"N. Magaud . Theorem Proving in Higher Order Logics , volume 2758\/2003 , chapter Changing Data Representation within the Coq System, pages 87 -- 102 . Springer , 2003 . N. Magaud. Theorem Proving in Higher Order Logics, volume 2758\/2003, chapter Changing Data Representation within the Coq System, pages 87--102. Springer, 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"Article b06cOa64.0311201123.4302e51a@posting.google.com in Usenet group comp.lang.lisp (valid","author":"Margolin B.","year":"2007","unstructured":"B. Margolin . CLOS and C++. Article b06cOa64.0311201123.4302e51a@posting.google.com in Usenet group comp.lang.lisp (valid 20 Feb 2007 ), 20 Nov 2003. B. Margolin. CLOS and C++. Article b06cOa64.0311201123.4302e51a@posting.google.com in Usenet group comp.lang.lisp (valid 20 Feb 2007), 20 Nov 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/788007.788143"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949402"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/357133.357135"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9575-1","volume-title":"Programming with Sets: an introduction to SETL. Texts and Monographs in Computer Science","author":"Schwartz J.","year":"1986","unstructured":"J. Schwartz , R. Dewar , E. Dubinsky , and E. Schonberg . Programming with Sets: an introduction to SETL. Texts and Monographs in Computer Science . Springer-Verlag , New York , 1986 . J. Schwartz, R. Dewar, E. Dubinsky, and E. Schonberg. Programming with Sets: an introduction to SETL. Texts and Monographs in Computer Science. Springer-Verlag, New York, 1986."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.58788"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41653"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.234776"},{"key":"e_1_3_2_1_23_1","volume-title":"http:\/\/www.csd.uwo.ca\/~woznak\/dadt (valid","author":"Wozniak G.","year":"2007","unstructured":"G. Wozniak . Dynamic abstract data types. http:\/\/www.csd.uwo.ca\/~woznak\/dadt (valid 20 Feb 2007 ). G. Wozniak. Dynamic abstract data types. http:\/\/www.csd.uwo.ca\/~woznak\/dadt (valid 20 Feb 2007)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00125-X"}],"event":{"name":"ILC07: 2007 International Lisp Conference","sponsor":["Association of Lisp Users","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Cambridge United Kingdom","acronym":"ILC07"},"container-title":["Proceedings of the 2007 International Lisp Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1622123.1622152","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1622123.1622152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:31Z","timestamp":1750249411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1622123.1622152"}},"subtitle":["a \"don't ask, don't tell\" policy for data abstraction"],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":23,"alternative-id":["10.1145\/1622123.1622152","10.1145\/1622123"],"URL":"https:\/\/doi.org\/10.1145\/1622123.1622152","relation":{},"subject":[],"published":{"date-parts":[[2007,4]]},"assertion":[{"value":"2007-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}