{"id":"https://openalex.org/W1972612110","doi":"https://doi.org/10.1145/1289971.1289989","title":"Safe composition of product lines","display_name":"Safe composition of product lines","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W1972612110","doi":"https://doi.org/10.1145/1289971.1289989","mag":"1972612110"},"language":"en","primary_location":{"id":"doi:10.1145/1289971.1289989","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1289971.1289989","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th international conference on Generative programming and component engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013736393","display_name":"Sahil Thaker","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sahil Thaker","raw_affiliation_strings":["Microsoft Corporation, Redmond, WA"],"affiliations":[{"raw_affiliation_string":"Microsoft Corporation, Redmond, WA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033605569","display_name":"Don Batory","orcid":"https://orcid.org/0000-0002-8739-3841"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Don Batory","raw_affiliation_strings":["University of Texas at Austin, Austin, TX"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018486257","display_name":"David Kitchin","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Kitchin","raw_affiliation_strings":["University of Texas at Austin, Austin, TX"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029147559","display_name":"William R. Cook","orcid":"https://orcid.org/0000-0003-4918-8975"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William Cook","raw_affiliation_strings":["University of Texas at Austin, Austin, TX"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5013736393"],"corresponding_institution_ids":["https://openalex.org/I1290206253"],"apc_list":null,"apc_paid":null,"fwci":31.9199,"has_fulltext":false,"cited_by_count":215,"citation_normalized_percentile":{"value":0.99699812,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"95","last_page":"104"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.8470478057861328},{"id":"https://openalex.org/keywords/product-line","display_name":"Product line","score":0.6950170993804932},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6918430924415588},{"id":"https://openalex.org/keywords/feature-model","display_name":"Feature model","score":0.6877383589744568},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5656192898750305},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5446814894676208},{"id":"https://openalex.org/keywords/compatibility","display_name":"Compatibility (geochemistry)","score":0.5292365550994873},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.45722121000289917},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4527949094772339},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32265210151672363},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29037192463874817},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.16451197862625122},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16077572107315063},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.153067946434021},{"id":"https://openalex.org/keywords/manufacturing-engineering","display_name":"Manufacturing engineering","score":0.0779314935207367}],"concepts":[{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.8470478057861328},{"id":"https://openalex.org/C2988046880","wikidata":"https://www.wikidata.org/wiki/Q3084961","display_name":"Product line","level":2,"score":0.6950170993804932},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6918430924415588},{"id":"https://openalex.org/C101814296","wikidata":"https://www.wikidata.org/wiki/Q5439685","display_name":"Feature model","level":3,"score":0.6877383589744568},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5656192898750305},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5446814894676208},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.5292365550994873},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.45722121000289917},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4527949094772339},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32265210151672363},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29037192463874817},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.16451197862625122},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16077572107315063},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.153067946434021},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.0779314935207367},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1289971.1289989","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1289971.1289989","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th international conference on Generative programming and component engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.74.2252","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.2252","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utexas.edu/users/wcook/papers/gpce07/ThakerGPCE07.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W1494019345","https://openalex.org/W1495226832","https://openalex.org/W1500250067","https://openalex.org/W1511610110","https://openalex.org/W1520827904","https://openalex.org/W1531869376","https://openalex.org/W1560222722","https://openalex.org/W1563606705","https://openalex.org/W1592272620","https://openalex.org/W1594302295","https://openalex.org/W1594638244","https://openalex.org/W1607453525","https://openalex.org/W1660614444","https://openalex.org/W1889333569","https://openalex.org/W1939467000","https://openalex.org/W1951956137","https://openalex.org/W1968542268","https://openalex.org/W1989092049","https://openalex.org/W2014019774","https://openalex.org/W2023546887","https://openalex.org/W2026586474","https://openalex.org/W2026701237","https://openalex.org/W2029786195","https://openalex.org/W2033348393","https://openalex.org/W2061659496","https://openalex.org/W2075642720","https://openalex.org/W2080648611","https://openalex.org/W2086742266","https://openalex.org/W2095355321","https://openalex.org/W2096314727","https://openalex.org/W2097304805","https://openalex.org/W2099213660","https://openalex.org/W2112000202","https://openalex.org/W2113201637","https://openalex.org/W2115762428","https://openalex.org/W2116844130","https://openalex.org/W2129063689","https://openalex.org/W2153887189","https://openalex.org/W2168986107","https://openalex.org/W2169671088","https://openalex.org/W2338763354","https://openalex.org/W2477378326","https://openalex.org/W2549501222","https://openalex.org/W2622540447","https://openalex.org/W2752885492","https://openalex.org/W2987977008","https://openalex.org/W3145128584","https://openalex.org/W4255899654","https://openalex.org/W4403427110","https://openalex.org/W6625013620","https://openalex.org/W6629579983","https://openalex.org/W6633892033"],"related_works":["https://openalex.org/W2903450681","https://openalex.org/W2005449645","https://openalex.org/W1939438916","https://openalex.org/W2612841534","https://openalex.org/W2260634139","https://openalex.org/W2158471572","https://openalex.org/W2414525409","https://openalex.org/W2399803796","https://openalex.org/W1972612110","https://openalex.org/W4253469356"],"abstract_inverted_index":{"Programs":[0],"of":[1,23,61],"a":[2,31,53],"software":[3],"product":[4,54,83],"line":[5,55],"can":[6,34,78],"be":[7,79],"synthesized":[8],"by":[9],"composing":[10],"modules":[11],"that":[12,19,37,49],"implement":[13],"features.":[14],"Besides":[15],"high-level":[16],"domain":[17],"constraints":[18],"govern":[20],"the":[21,47],"compatibility":[22],"features,":[24],"there":[25],"are":[26,38,56],"also":[27],"low-level":[28],"implementation":[29],"constraints:":[30],"feature":[32,42,86],"module":[33],"reference":[35],"elements":[36,65],"defined":[39],"in":[40,52],"other":[41],"modules.":[43],"Safe":[44],"composition":[45,76],"is":[46],"guarantee":[48],"all":[50],"programs":[51],"type":[57],"safe:":[58],"i.e.,":[59],"absent":[60],"references":[62],"to":[63],"undefined":[64],"(such":[66],"as":[67],"classes,":[68],"methods,":[69],"and":[70,88],"variables).":[71],"We":[72],"show":[73],"how":[74],"safe":[75],"properties":[77],"verified":[80],"for":[81],"AHEAD":[82],"lines":[84],"using":[85],"models":[87],"SAT":[89],"solvers.":[90]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":13},{"year":2014,"cited_by_count":27},{"year":2013,"cited_by_count":21},{"year":2012,"cited_by_count":23}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}