{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:21Z","timestamp":1772164041398,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"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":[[2011,10,22]]},"DOI":"10.1145\/2047862.2047874","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"63-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Generation of geometric programs specified by diagrams"],"prefix":"10.1145","author":[{"given":"Yulin","family":"Li","sequence":"first","affiliation":[{"name":"Amazon Inc., Seattle, WA, USA"}]},{"suffix":"Jr.","given":"Gordon S.","family":"Novak","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.615429"},{"key":"e_1_3_2_1_2_1","unstructured":"Alice web site. www.alice.org.  Alice web site. www.alice.org."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231877"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. Intl. Conf. Software Engr. IEEE Press","author":"Baxter Ira D.","year":"2004","unstructured":"Ira D. Baxter , Christopher Pidgeon , and Michael Mehlich . Dms : Program transformations for practical scalable software evolution . In Proc. Intl. Conf. Software Engr. IEEE Press , 2004 . Ira D. Baxter, Christopher Pidgeon, and Michael Mehlich. Dms: Program transformations for practical scalable software evolution. In Proc. Intl. Conf. Software Engr. IEEE Press, 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.729684"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/357146.357147"},{"key":"e_1_3_2_1_8_1","unstructured":"Burmester link. gtrebaol.free.fr\/doc\/flash\/four_bar\/doc\/.  Burmester link. gtrebaol.free.fr\/doc\/flash\/four_bar\/doc\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/39060"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006171315513"},{"key":"e_1_3_2_1_11_1","unstructured":"Cinderella web site. www.cinderella.de\/tiki-index.php.  Cinderella web site. www.cinderella.de\/tiki-index.php."},{"key":"e_1_3_2_1_12_1","volume-title":"Generative Programming: Methods, Tools and Applications","author":"Czarnecki Krzysztof","year":"2000","unstructured":"Krzysztof Czarnecki and Ulrich W. Eisenecker . Generative Programming: Methods, Tools and Applications . Addison-Wesley , 2000 . www.generative-programming.org. Krzysztof Czarnecki and Ulrich W. Eisenecker. Generative Programming: Methods, Tools and Applications. Addison-Wesley, 2000. www.generative-programming.org."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10851-006-8532-4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cad.2009.02.016"},{"key":"e_1_3_2_1_15_1","first-page":"232","article-title":"Automated geometry diagram construction and engineering geometry. In ADG-98","volume":"1669","author":"Gao Xiao-Shan","year":"1999","unstructured":"Xiao-Shan Gao . Automated geometry diagram construction and engineering geometry. In ADG-98 , LNAI 1669 , pages 232 -- 258 . Springer, 1999 . Xiao-Shan Gao. Automated geometry diagram construction and engineering geometry. In ADG-98, LNAI 1669, pages 232--258. Springer, 1999.","journal-title":"LNAI"},{"key":"e_1_3_2_1_16_1","first-page":"44","article-title":"a software package for automated geometric reasoning. In ADG 2002","volume":"2930","author":"Gao Xiao-Shan","year":"2004","unstructured":"Xiao-Shan Gao and Qiang Lin . Mmp\/geometer - a software package for automated geometric reasoning. In ADG 2002 , LNAI 2930 , pages 44 -- 66 . Springer, 2004 . Xiao-Shan Gao and Qiang Lin. Mmp\/geometer - a software package for automated geometric reasoning. In ADG 2002, LNAI 2930, pages 44--66. Springer, 2004.","journal-title":"LNAI"},{"key":"e_1_3_2_1_17_1","unstructured":"dynamicgeometry.com\/.  dynamicgeometry.com\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cad.2011.03.010"},{"key":"e_1_3_2_1_19_1","unstructured":"National Instruments. www.ni.com\/labview\/.  National Instruments. www.ni.com\/labview\/."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/130844.130856"},{"key":"e_1_3_2_1_21_1","volume-title":"May","author":"Li Yulin","year":"2010","unstructured":"Yulin Li . The diagrammatic specification and automatic generation of geometry subroutines. www.cs.utexas.edu\/forms\/tech_reports\/reports\/tr\/TR-1991.pdf , May 2010 . Yulin Li. The diagrammatic specification and automatic generation of geometry subroutines. www.cs.utexas.edu\/forms\/tech_reports\/reports\/tr\/TR-1991.pdf, May 2010."},{"key":"e_1_3_2_1_22_1","first-page":"326","volume-title":"Methodologies for Intelligent Systems, LNCS 869","author":"Lowry Michael","year":"2004","unstructured":"Michael Lowry , Andrew Philpot , Thomas Pressburger , and Ian Underwood . Amphion: Automatic programming for scientific subroutine libraries . In Methodologies for Intelligent Systems, LNCS 869 , pages 326 -- 335 . Springer , 2004 . Michael Lowry, Andrew Philpot, Thomas Pressburger, and Ian Underwood. Amphion: Automatic programming for scientific subroutine libraries. In Methodologies for Intelligent Systems, LNCS 869, pages 326--335. Springer, 2004."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.391379"},{"key":"e_1_3_2_1_24_1","unstructured":"www.cs.utexas.edu\/users\/novak\/cgi\/physdemo.cgi.  www.cs.utexas.edu\/users\/novak\/cgi\/physdemo.cgi."},{"issue":"3","key":"e_1_3_2_1_25_1","first-page":"37","article-title":"A lisp-based programming system with data abstraction","volume":"4","author":"Novak Gordon S.","year":"1983","unstructured":"Gordon S. Novak . Glisp : A lisp-based programming system with data abstraction . AI Magazine , 4 ( 3 ): 37 -- 47 , Fall 1983 . Gordon S. Novak. Glisp: A lisp-based programming system with data abstraction. AI Magazine, 4(3):37--47, Fall 1983.","journal-title":"AI Magazine"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CAIA.1994.323628"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.403789"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.489074"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.605759"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1576283.1576284"},{"key":"e_1_3_2_1_31_1","unstructured":"uva.onlinejudge.org.  uva.onlinejudge.org."},{"key":"e_1_3_2_1_32_1","unstructured":"en.wikipedia.org\/wiki\/Peaucellier-Lipkin_linkage.  en.wikipedia.org\/wiki\/Peaucellier-Lipkin_linkage."},{"key":"e_1_3_2_1_33_1","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell Stuart","year":"2010","unstructured":"Stuart Russell and Peter Norvig . Artificial Intelligence: A Modern Approach . Prentice-Hall , 2010 . Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, 2010."},{"key":"e_1_3_2_1_34_1","volume-title":"Programming Challenges","author":"Skiena Steven S.","year":"2003","unstructured":"Steven S. Skiena and Miguel A. Revilla . Programming Challenges . Springer , 2003 . Steven S. Skiena and Miguel A. Revilla. Programming Challenges. Springer, 2003."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.58788"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/648231.761371"},{"key":"e_1_3_2_1_38_1","unstructured":"Watt linkage. en.wikipedia.org\/wiki\/Watt's_linkage.  Watt linkage. en.wikipedia.org\/wiki\/Watt's_linkage."},{"key":"e_1_3_2_1_39_1","unstructured":"List of interactive geometry software. en.wikipedia.org\/wiki\/List_of_interactive_geometry_software.  List of interactive geometry software. en.wikipedia.org\/wiki\/List_of_interactive_geometry_software."},{"key":"e_1_3_2_1_40_1","first-page":"151","volume-title":"Proc. European Joint Conf. on Theory and Practice of Software (ETAPS)","author":"Wilson Sean","year":"2005","unstructured":"Sean Wilson and Jacques D. Fleuriot . Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs . In Proc. European Joint Conf. on Theory and Practice of Software (ETAPS) , page 151 , 2005 . Sean Wilson and Jacques D. Fleuriot. Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs. In Proc. European Joint Conf. on Theory and Practice of Software (ETAPS), page 151, 2005."}],"event":{"name":"GPCE '11: Generative Programming and Component Engineering","location":"Portland Oregon USA","acronym":"GPCE '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047874","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2047862.2047874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047862.2047874"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":40,"alternative-id":["10.1145\/2047862.2047874","10.1145\/2047862"],"URL":"https:\/\/doi.org\/10.1145\/2047862.2047874","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2189751.2047874","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}