乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:12:19Z","timestamp":1730315539009,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,17]]},"DOI":"10.1145\/1869459.1869499","type":"proceedings-article","created":{"date-parts":[[2010,10,19]],"date-time":"2010-10-19T12:41:35Z","timestamp":1287492095000},"page":"484-503","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Modular logic metaprogramming"],"prefix":"10.1145","author":[{"given":"Karl","family":"Klose","sequence":"first","affiliation":[{"name":"Aarhus University, Aarhus, Denmark"}]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[{"name":"University of Marburg, Marburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2010,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040308"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11860990_10"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167479"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"volume-title":"OOPSLA Workshop on Revival of Dynamic Languages.","author":"Bracha Gilad","key":"e_1_3_2_1_6_1","unstructured":"}} Gilad Bracha . Pluggable type systems, 2004 . OOPSLA Workshop on Revival of Dynamic Languages. }}Gilad Bracha. Pluggable type systems, 2004. OOPSLA Workshop on Revival of Dynamic Languages."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647482.725982"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263735"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734419"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217868"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646157.679856"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_15_1","unstructured":"}}Kris De Volder. Implementing design patterns as declarative code generators. http:\/\/www.cs.ubc.ca\/ kdvolder\/publications\/design_patterns-abstract.ht%m 2001. }}Kris De Volder. Implementing design patterns as declarative code generators. http:\/\/www.cs.ubc.ca\/ kdvolder\/publications\/design_patterns-abstract.ht%m 2001."},{"key":"e_1_3_2_1_16_1","volume-title":"Fifth International Workshop on Component-Oriented Programming, Workshop reader of ECOOP '00","author":"Volder Kris De","year":"2000","unstructured":"}} Kris De Volder , Johan Fabry , and Roel Wuyts . Logic meta components as a generic component model . In Fifth International Workshop on Component-Oriented Programming, Workshop reader of ECOOP '00 , 2000 . }}Kris De Volder, Johan Fabry, and Roel Wuyts. Logic meta components as a generic component model. In Fifth International Workshop on Component-Oriented Programming, Workshop reader of ECOOP '00, 2000."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_22"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368142"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173748"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503240"},{"key":"e_1_3_2_1_21_1","volume-title":"Design Patterns","author":"Gamma Erich","year":"1995","unstructured":"}} Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . Design Patterns . Addison-Wesley Professional , Indianapolis, USA , January 1995 . }}Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison-Wesley Professional, Indianapolis, USA, January 1995."},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","first-page":"221","volume-title":"Logic of Programs, Workshop","author":"Goguen J.A.","year":"1983","unstructured":"}} J.A. Goguen and R.M. Burstall . Introduction to institutions . In Logic of Programs, Workshop , Carnegie Mellon University, volume 164 of Lecture Notes in Computer Science , pages 221 -- 256 . Springer Verlag , 1983 . }}J.A. Goguen and R.M. Burstall. Introduction to institutions. In Logic of Programs, Workshop, Carnegie Mellon University, volume 164 of Lecture Notes in Computer Science, pages 221--256. Springer Verlag, 1983."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_2"},{"key":"e_1_3_2_1_24_1","first-page":"395","article-title":"A module system for meta-programming. Logic Program Synthesis and Transformation - Meta-Programming","volume":"883","author":"Hill P.","year":"1994","unstructured":"}} P. Hill . A module system for meta-programming. Logic Program Synthesis and Transformation - Meta-Programming in Logic , 883 : 395 -- 409 , 1994 . }}P. Hill. A module system for meta-programming. Logic Program Synthesis and Transformation - Meta-Programming in Logic, 883:395--409, 1994.","journal-title":"Logic"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375592"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218584"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP '07)","author":"Huang Shan S.","year":"2007","unstructured":"}} Shan S. Huang , David Zook , and Yannis Smaragdakis . Morphing : Safely Shaping a Class in the Image of Others . In Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP '07) , Berlin, Heidelberg , 2007 . Springer Verlag. }}Shan S. Huang, David Zook, and Yannis Smaragdakis. Morphing: Safely Shaping a Class in the Image of Others. In Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP '07), Berlin, Heidelberg, 2007. Springer Verlag."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_21"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/189883.189891"},{"key":"e_1_3_2_1_30_1","first-page":"236","volume-title":"Journal on Expert Systems with Applications","author":"Mens Kim","year":"2001","unstructured":"}} Kim Mens , Isabel Michiels , and Roel Wuyts . Supporting software development through declaratively codified programming patterns . In Journal on Expert Systems with Applications , pages 236 -- 243 , New York, NY , USA, 2001 . Elsevier Science Inc . }}Kim Mens, Isabel Michiels, and Roel Wuyts. Supporting software development through declaratively codified programming patterns. In Journal on Expert Systems with Applications, pages 236--243, New York, NY, USA, 2001. Elsevier Science Inc."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(89)90031-9"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(95)00037-K"},{"key":"e_1_3_2_1_33_1","first-page":"810","volume-title":"Proceedings of the Fifth International Logic Programming Conference","author":"Nadathur Gopalan","year":"1988","unstructured":"}} Gopalan Nadathur and Dale Miller . An overview of \u0142Prolog . In Proceedings of the Fifth International Logic Programming Conference , pages 810 -- 827 , Cambridge, MA, USA , 1988 . MIT Press. }}Gopalan Nadathur and Dale Miller. An overview of \u0142Prolog. In Proceedings of the Fifth International Logic Programming Conference, pages 810--827, Cambridge, MA, USA, 1988. MIT Press."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_10"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_36_1","first-page":"55","volume-title":"Logic and Databases","author":"Reiter Raymond","year":"1978","unstructured":"}} Raymond Reiter . On closed world databases . In Logic and Databases , pages 55 -- 76 , New York, NY , USA, 1978 . Plenum Press . }}Raymond Reiter. On closed world databases. In Logic and Databases, pages 55--76, New York, NY, USA, 1978. Plenum Press."},{"key":"e_1_3_2_1_37_1","volume-title":"The Art of PROLOG: Advanced Programming Techniques","author":"Shapiro Ehud","year":"1994","unstructured":"}} Ehud Shapiro and Leon Sterling . The Art of PROLOG: Advanced Programming Techniques . The MIT Press , Cambridge, MA, USA , April 1994 . }}Ehud Shapiro and Leon Sterling. The Art of PROLOG: Advanced Programming Techniques. The MIT Press, Cambridge, MA, USA, April 1994."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259019"}],"event":{"name":"SPLASH '10: Systems Programming Languages and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Reno\/Tahoe Nevada USA","acronym":"SPLASH '10"},"container-title":["Proceedings of the ACM international conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1869459.1869499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T20:42:12Z","timestamp":1693860132000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1869459.1869499"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,17]]},"references-count":37,"alternative-id":["10.1145\/1869459.1869499","10.1145\/1869459"],"URL":"https:\/\/doi.org\/10.1145\/1869459.1869499","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1932682.1869499","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,10,17]]},"assertion":[{"value":"2010-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}