{"id":"https://openalex.org/W7096500737","doi":null,"title":"Type Checking and Dataflow Analysis","display_name":"Type Checking and Dataflow Analysis","publication_year":2013,"publication_date":"2013-01-05","ids":{"openalex":"https://openalex.org/W7096500737"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.258.3383","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.3383","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.infosun.fim.uni-passau.de/publications/docs/TR_LRKADL12.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"J\u00f6rg Liebig","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J\u00f6rg Liebig","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Er Von Rhein","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Er Von Rhein","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Christian K\u00e4stner","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christian K\u00e4stner","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Sven Apel","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sven Apel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jens D\u00f6rre","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jens D\u00f6rre","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Christian Lengauer","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christian Lengauer","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.59586338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.92330002784729,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.92330002784729,"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/T10126","display_name":"Logic, programming, and type systems","score":0.03539999946951866,"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/T10260","display_name":"Software Engineering Research","score":0.009399999864399433,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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-lines","display_name":"software product lines","score":0.8799999952316284},{"id":"https://openalex.org/keywords/type-checking","display_name":"type checking","score":0.8100000023841858},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"data flow analysis","score":0.9990000128746033},{"id":"https://openalex.org/keywords/variability-management","display_name":"variability management","score":0.8320000171661377},{"id":"https://openalex.org/keywords/busybox","display_name":"BusyBox","score":0.5199999809265137},{"id":"https://openalex.org/keywords/linux-kernel","display_name":"Linux kernel","score":1.0}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7185999751091003},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.6640999913215637},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.6039999723434448},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5533999800682068},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5467000007629395},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5217000246047974},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5188000202178955},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.48739999532699585},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.4830999970436096},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.477400004863739},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47679999470710754},{"id":"https://openalex.org/C23219732","wikidata":"https://www.wikidata.org/wiki/Q7247800","display_name":"Product type","level":2,"score":0.39410001039505005},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3714999854564667},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.3425999879837036},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.3314000070095062},{"id":"https://openalex.org/C2988046880","wikidata":"https://www.wikidata.org/wiki/Q3084961","display_name":"Product line","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2847999930381775},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.26989999413490295},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C19351080","wikidata":"https://www.wikidata.org/wiki/Q1395034","display_name":"New product development","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C2778736646","wikidata":"https://www.wikidata.org/wiki/Q1143070","display_name":"Software suite","level":3,"score":0.25119999051094055},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.2500999867916107}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.258.3383","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.3383","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.infosun.fim.uni-passau.de/publications/docs/TR_LRKADL12.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1803535025","https://openalex.org/W2212653494","https://openalex.org/W7095700767","https://openalex.org/W2038190459","https://openalex.org/W40935409","https://openalex.org/W7099129162","https://openalex.org/W7132597947","https://openalex.org/W2407555132","https://openalex.org/W1495498564","https://openalex.org/W7023577926"],"abstract_inverted_index":{"Abstract\u2014A":[0],"software":[1,9],"product":[2,96,114,162],"line":[3,97],"is":[4,167],"a":[5,13,36,45,60,95],"family":[6],"of":[7,16,20,38,49,56,91,94],"similar":[8],"products":[10,32,76,93],"that":[11,168],"share":[12],"common":[14],"set":[15],"assets.":[17],"The":[18],"advent":[19],"proper":[21],"variability":[22,57],"management":[23],"and":[24,124,138,156],"generator":[25],"technology":[26],"enables":[27],"end-users":[28],"to":[29,44,77,83,98,112,129,160,180],"derive":[30],"individual":[31],"solely":[33],"based":[34],"on":[35,144],"selection":[37],"desired":[39],"features.":[40],"This":[41],"gives":[42],"rise":[43],"huge":[46],"configuration":[47],"space":[48],"possible":[50],"products.":[51],"But":[52],"the":[53,89,92,134,139,153],"high":[54],"degree":[55],"comes":[58],"at":[59],"cost:":[61],"classic":[62],"analysis":[63,100,150,170,181],"methods":[64],"do":[65],"not":[66,109],"scale":[67],"any":[68],"more;":[69],"there":[70],"are":[71],"simply":[72],"too":[73],"many":[74],"potential":[75],"analyze.":[78],"Hence,":[79],"researchers":[80],"have":[81,108],"begun":[82],"develop":[84],"variabilityaware":[85],"analyses,":[86],"which":[87],"exploit":[88],"similarities":[90],"reduce":[99],"effort.":[101],"However,":[102],"while":[103],"being":[104],"promising,":[105],"variability-aware":[106,149,169],"analyses":[107,128],"been":[110],"applied":[111],"real-world":[113],"lines":[115],"so":[116],"far.":[117],"We":[118,142],"close":[119],"this":[120],"gap":[121],"by":[122],"developing":[123],"applying":[125,158],"two":[126,130],"full-fledged":[127],"real-world,":[131],"largescale":[132],"systems:":[133],"Busybox":[135],"tool":[136],"suite":[137],"Linux":[140],"kernel.":[141],"report":[143],"our":[145],"experience":[146],"with":[147,157,178],"making":[148],"ready":[151],"for":[152],"real":[154],"world,":[155],"it":[159],"large-scale":[161],"lines.":[163],"A":[164],"key":[165],"result":[166],"can":[171],"outperform":[172],"even":[173],"very":[174],"limited":[175],"sampling":[176],"heuristics":[177],"respect":[179],"time.":[182],"I.":[183]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2025-10-27T00:00:00"}