乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T11:15:51Z","timestamp":1723461351164},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,19]]},"DOI":"10.1145\/2384616.2384673","type":"proceedings-article","created":{"date-parts":[[2012,10,22]],"date-time":"2012-10-22T12:07:05Z","timestamp":1350907625000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":57,"title":["A variability-aware module system"],"prefix":"10.1145","author":[{"given":"Christian","family":"K\u00e4stner","sequence":"first","affiliation":[{"name":"Philipps University of Marburg, Marburg, Germany"}]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[{"name":"Philipps University Marburg, Marburg, Germany"}]},{"given":"Sebastian","family":"Erdweg","sequence":"additional","affiliation":[{"name":"Philipps University Marburg, Marburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13595-8_3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/375212.375269"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370916.1370930"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.02.001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/827253.827741"},{"key":"e_1_3_2_1_7_1","volume-title":"Software Architecture in Practice","author":"Bass L.","year":"1998","unstructured":"L. Bass , P. Clements , and R. Kazman . Software Architecture in Practice . Addison-Wesley , Boston, MA , 1998 . L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison-Wesley, Boston, MA, 1998."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094826"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859010"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.005"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325518"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162052"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263735"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.28"},{"key":"e_1_3_2_1_17_1","volume-title":"School of EECS","author":"Chen S.","year":"2012","unstructured":"S. Chen , M. Erwig , and E. Walkingshaw . Extending type inference to variational programs. Technical report (draft) , School of EECS , Oregon State University , 2012 . S. Chen, M. Erwig, and E. Walkingshaw. Extending type inference to variational programs. Technical report (draft), School of EECS, Oregon State University, 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_19_1","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"Czarnecki K.","year":"2000","unstructured":"K. Czarnecki and U. Eisenecker . Generative Programming: Methods, Tools, and Applications . ACM Press\/Addison-Wesley , New York , 2000 . K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. ACM Press\/Addison-Wesley, New York, 2000."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/645547.658846"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595733"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_18"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111062"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679688"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063239.2063245"},{"key":"e_1_3_2_1_27_1","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"Erwig M.","year":"2012","unstructured":"M. Erwig and E. Walkingshaw . Variation programming with the choice calculus . In Generative and Transformational Techniques in Software Engineering . Springer-Verlag , 2012 . to appear. M. Erwig and E. Walkingshaw. Variation programming with the choice calculus. In Generative and Transformational Techniques in Software Engineering. Springer-Verlag, 2012. to appear."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297038"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/355461.357555"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375592"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218584"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019136.2019142"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211617"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680038"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869499"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1158337.1158683"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787036"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_40_1","series-title":"LNCS","volume-title":"CLU Reference Manual","author":"Liskov B.","year":"1981","unstructured":"B. Liskov , R. Atkinson , T. Bloom , E. Moss , J. C. Schaffert , R. Scheifler , and A. Snyder . CLU Reference Manual , volume 114 of LNCS . Springer-Verlag , Berlin\/ Heidelberg , 1981 . B. Liskov, R. Atkinson, T. Bloom, E. Moss, J. C. Schaffert, R. Scheifler, and A. Snyder. CLU Reference Manual, volume 114 of LNCS. Springer-Verlag, Berlin\/Heidelberg, 1981."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134303"},{"key":"e_1_3_2_1_42_1","first-page":"231","volume-title":"Proc. Int'l Software Product Line Conference (SPLC)","author":"Mendon\u00e7a M.","year":"2009","unstructured":"M. Mendon\u00e7a , A. Wasowski , and K. Czarnecki . SAT-based analysis of feature models is easy . In Proc. Int'l Software Product Line Conference (SPLC) , pages 231 -- 240 . ACM Press , 2009 . M. Mendon\u00e7a, A. Wasowski, and K. Czarnecki. SAT-based analysis of feature models is easy. In Proc. Int'l Software Product Line Conference (SPLC), pages 231--240. ACM Press, 2009."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462166.1462168"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949325"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263714"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2009.5290808"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053389"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(86)90002-6"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806864"},{"key":"e_1_3_2_1_50_1","first-page":"123","volume-title":"Proc. Int'l Workshop on Variability Modelling of Software-intensive Systems (VaMoS)","author":"Rosenm\u00fcller M.","year":"2010","unstructured":"M. Rosenm\u00fcller and N. Siegmund . Automating the configura-tion of multi software product lines . In Proc. Int'l Workshop on Variability Modelling of Software-intensive Systems (VaMoS) , pages 123 -- 130 , 2010 . M. Rosenm\u00fcller and N. Siegmund. Automating the configura-tion of multi software product lines. In Proc. Int'l Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pages 123--130, 2010."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960283"},{"key":"e_1_3_2_1_52_1","first-page":"185","volume-title":"Proc. USENIX Conf.","author":"Spencer H.","year":"1992","unstructured":"H. Spencer and G. Collyer . #ifdef considered harmful or portability experience with C news . In Proc. USENIX Conf. , pages 185 -- 198 . USENIX Association , 1992 . H. Spencer and G. Collyer. #ifdef considered harmful or portability experience with C news. In Proc. USENIX Conf., pages 185--198. USENIX Association, 1992."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302457"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27799-6_13"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581373"},{"key":"e_1_3_2_1_59_1","first-page":"3","volume-title":"Advanced Topics in Types and Programming Languages","author":"Walker D.","year":"2005","unstructured":"D. Walker . Substructural type systems. In B. C. Pierce, editor, Advanced Topics in Types and Programming Languages , chapter 1, pages 3 -- 43 . MIT Press , 2005 . D. Walker. Substructural type systems. In B. C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 1, pages 3--43. MIT Press, 2005."}],"event":{"name":"SPLASH '12: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Tucson Arizona USA","acronym":"SPLASH '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"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\/2384616.2384673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:33:58Z","timestamp":1693848838000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2384616.2384673"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,19]]},"references-count":58,"alternative-id":["10.1145\/2384616.2384673","10.1145\/2384616"],"URL":"https:\/\/doi.org\/10.1145\/2384616.2384673","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2398857.2384673","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,10,19]]},"assertion":[{"value":"2012-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}