{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:14Z","timestamp":1750307834292,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,2]],"date-time":"2009-03-02T00:00:00Z","timestamp":1235952000000},"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":[[2009,3,2]]},"DOI":"10.1145\/1509837.1509846","type":"proceedings-article","created":{"date-parts":[[2009,3,3]],"date-time":"2009-03-03T16:06:03Z","timestamp":1236096363000},"page":"31-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["A machine-checked model of safe composition"],"prefix":"10.1145","author":[{"given":"Benjamin","family":"Delaware","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Cook","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"26","volume-title":"In ACM Symp. on Principles of Programming Languages 2005","author":"Ancona D.","year":"2005","unstructured":"D. Ancona and S. Drossopoulou . Polymorphic bytecode: Compositional compilation for java-like languages . In In ACM Symp. on Principles of Programming Languages 2005 , pages 26 -- 37 . ACM Press , 2005 . 10.1145\/1040305.1040308 D. Ancona and S. Drossopoulou. Polymorphic bytecode: Compositional compilation for java-like languages. In In ACM Symp. on Principles of Programming Languages 2005, pages 26--37. ACM Press, 2005. 10.1145\/1040305.1040308"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE). ACM Press","author":"Apel S.","year":"2008","unstructured":"S. Apel , C. Kastner , and C. Lengauer . Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinement . In Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE). ACM Press , Oct. 2008 . 10.1145\/1449913.1449931 S. Apel, C. Kastner, and C. Lengauer. Feature Featherweight Java: A calculus for feature-oriented programming and stepwise refinement. In Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE). ACM Press, Oct. 2008. 10.1145\/1449913.1449931"},{"key":"e_1_3_2_1_4_1","first-page":"702","volume-title":"Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on","author":"Batory D.","year":"2004","unstructured":"D. Batory . Feature-oriented programming and the AHEAD tool suite . Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on , pages 702 -- 703 , May 2004 . D. Batory. Feature-oriented programming and the AHEAD tool suite. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on, pages 702--703, May 2004."},{"key":"e_1_3_2_1_5_1","first-page":"7","volume-title":"Software Product Lines Conference, LNCS 3714","author":"Batory D.","year":"2005","unstructured":"D. Batory . Feature models, grammars , and propositional formulas . In Software Product Lines Conference, LNCS 3714 , pages 7 -- 20 . Springer , 2005 . 10.1007\/11554844_3 D. Batory. Feature models, grammars, and propositional formulas. In Software Product Lines Conference, LNCS 3714, pages 7--20. Springer, 2005. 10.1007\/11554844_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development","author":"Bertot Y.","year":"2004","unstructured":"Y. Bertot and P. Casteran . Interactive Theorem Proving and Program Development . Springer-Verlag , Berlin , 2004 . Y. Bertot and P. Casteran. Interactive Theorem Proving and Program Development. Springer-Verlag, Berlin, 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/1173706.1173738","volume-title":"GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering","author":"Czarnecki K.","year":"2006","unstructured":"K. Czarnecki and K. Pietroszek . Verifying feature-based model templates against well-formedness OCL constraints . In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering , pages 211 -- 220 , New York, NY, USA , 2006 . ACM. 10.1145\/1173706.1173738 K. Czarnecki and K. Pietroszek. Verifying feature-based model templates against well-formedness OCL constraints. In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering, pages 211--220, New York, NY, USA, 2006. ACM. 10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_8_1","volume-title":"Foundations of Aspected-Oriented Languages (FOAL)}","author":"Delaware B.","year":"2009","unstructured":"B. Delaware , W. Cook , and D. Batory . A machine-checked model of safe composition . In Foundations of Aspected-Oriented Languages (FOAL)} , 2009 . 10.1145\/1509837.1509846 B. Delaware, W. Cook, and D. Batory. A machine-checked model of safe composition. In Foundations of Aspected-Oriented Languages (FOAL)}, 2009. 10.1145\/1509837.1509846"},{"key":"e_1_3_2_1_9_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_1_10_1","volume-title":"Module interconnection languages: A survey. Technical report","author":"Prieto-Diaz R.","year":"1982","unstructured":"R. Prieto-Diaz and J. Neighbors . Module interconnection languages: A survey. Technical report , University of California at Irvine , August 1982 . ICS Technical Report 189. R. Prieto-Diaz and J. Neighbors. Module interconnection languages: A survey. Technical report, University of California at Irvine, August 1982. ICS Technical Report 189."},{"key":"e_1_3_2_1_11_1","first-page":"1","volume-title":"ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming","author":"Sewell P.","year":"2007","unstructured":"P. Sewell , F. Z. Nardelli , S. Owens , G. Peskine , T. Ridge , S. Sarkar , and R. Strnivsa . Ott: effective tool support for the working semanticist . In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming , pages 1 -- 12 , New York, NY, USA , 2007 . ACM. 10.1145\/1291151.1291155 P. Sewell, F. Z. Nardelli, S. Owens, G. Peskine, T. Ridge, S. Sarkar, and R. Strnivsa. Ott: effective tool support for the working semanticist. In ICFP '07: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, pages 1--12, New York, NY, USA, 2007. ACM. 10.1145\/1291151.1291155"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1297027.1297064","volume-title":"OOPSLA","author":"Strnisa R.","year":"2007","unstructured":"R. Strnisa , P. Sewell , and M. J. Parkinson . The Java module system: core design and semantic definition. In R. P. Gabriel, D. F. Bacon, C. V. Lopes, and G. L. S. Jr., editors , OOPSLA , pages 499 -- 514 . ACM, 2007 . 10.1145\/1297027.1297064 R. Strnisa, P. Sewell, and M. J. Parkinson. The Java module system: core design and semantic definition. In R. P. Gabriel, D. F. Bacon, C. V. Lopes, and G. L. S. Jr., editors, OOPSLA, pages 499--514. ACM, 2007. 10.1145\/1297027.1297064"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/1289971.1289989","volume-title":"GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering","author":"Thaker S.","year":"2007","unstructured":"S. Thaker , D. Batory , D. Kitchin , and W. Cook . Safe composition of product lines . In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering , pages 95 -- 104 , New York, NY, USA , 2007 . ACM. 10.1145\/1289971.1289989 S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe composition of product lines. In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering, pages 95--104, New York, NY, USA, 2007. ACM. 10.1145\/1289971.1289989"}],"event":{"name":"AOSD '09: Eighth International Conference on Aspect-Oriented Software Development","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Charlottesville Virginia USA","acronym":"AOSD '09"},"container-title":["Proceedings of the 2009 workshop on Foundations of aspect-oriented languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1509837.1509846","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1509837.1509846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:59Z","timestamp":1750255079000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1509837.1509846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,2]]},"references-count":12,"alternative-id":["10.1145\/1509837.1509846","10.1145\/1509837"],"URL":"https:\/\/doi.org\/10.1145\/1509837.1509846","relation":{},"subject":[],"published":{"date-parts":[[2009,3,2]]},"assertion":[{"value":"2009-03-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}