{"id":"https://openalex.org/W2149237601","doi":null,"title":"Program Analysis and Specialization for the C Programming Language","display_name":"Program Analysis and Specialization for the C Programming Language","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2149237601","mag":"2149237601"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.109.6502","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.6502","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://repository.readscheme.org/ftp/papers/topps/D-203.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":"https://openalex.org/A5022040854","display_name":"Lars Ole Andersen","orcid":"https://orcid.org/0000-0001-5805-6806","observed_orcids":["https://orcid.org/0000-0001-5805-6806"]},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lars Ole Andersen","raw_affiliation_strings":["University of Copenhagen - Faculty of Science"],"raw_orcid":"https://orcid.org/0000-0001-5805-6806","affiliations":[{"raw_affiliation_string":"University of Copenhagen - Faculty of Science","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":null,"display_name":"Peter Lee","orcid":"https://orcid.org/0000-0002-3898-8881","observed_orcids":["https://orcid.org/0000-0002-3898-8881"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Lee","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3898-8881","affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":106.2556,"has_fulltext":false,"cited_by_count":903,"citation_normalized_percentile":{"value":0.99981755,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9843999743461609,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9843999743461609,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.00279999990016222,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0027000000700354576,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/program-specialization","display_name":"program specialization","score":0.8399999737739563},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"partial evaluation","score":0.9869999885559082},{"id":"https://openalex.org/keywords/c-programming-language","display_name":"C programming language","score":0.7649999856948853},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.8240000009536743},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.7789999842643738},{"id":"https://openalex.org/keywords/ansi-c","display_name":"ANSI C","score":0.5099999904632568},{"id":"https://openalex.org/keywords/software-efficiency","display_name":"software efficiency","score":0.5199999809265137}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7486242651939392},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.6423115134239197},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6397107839584351},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5284461975097656},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.5277602672576904},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5236101746559143},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5197641253471375},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.46690255403518677},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4287310838699341},{"id":"https://openalex.org/C77781355","wikidata":"https://www.wikidata.org/wiki/Q223335","display_name":"Structured programming","level":2,"score":0.42848047614097595},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.4164714515209198},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.24404722452163696},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13670065999031067},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11700841784477234},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.10653233528137207},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.109.6502","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.6502","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://repository.readscheme.org/ftp/papers/topps/D-203.pdf","raw_type":"text"},{"id":"mag:2149237601","doi":null,"is_oa":false,"landing_page_url":"http://repository.readscheme.org/ftp/papers/topps/D-203.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":117,"referenced_works":["https://openalex.org/W18935000","https://openalex.org/W47766774","https://openalex.org/W107980715","https://openalex.org/W139343445","https://openalex.org/W148396834","https://openalex.org/W160773772","https://openalex.org/W196471595","https://openalex.org/W202942141","https://openalex.org/W1488264918","https://openalex.org/W1499780099","https://openalex.org/W1513400187","https://openalex.org/W1516382534","https://openalex.org/W1519142519","https://openalex.org/W1522439499","https://openalex.org/W1524687916","https://openalex.org/W1542297244","https://openalex.org/W1548959602","https://openalex.org/W1556604985","https://openalex.org/W1557457950","https://openalex.org/W1582836852","https://openalex.org/W1605063794","https://openalex.org/W1606566200","https://openalex.org/W1608933122","https://openalex.org/W1655990431","https://openalex.org/W1816220807","https://openalex.org/W1818561783","https://openalex.org/W1966449927","https://openalex.org/W1966831167","https://openalex.org/W1970759612","https://openalex.org/W1973312887","https://openalex.org/W1974231393","https://openalex.org/W1975914482","https://openalex.org/W1976756430","https://openalex.org/W1977955110","https://openalex.org/W1981131019","https://openalex.org/W1985108724","https://openalex.org/W1987632834","https://openalex.org/W1988075333","https://openalex.org/W1996081324","https://openalex.org/W2002771912","https://openalex.org/W2002804719","https://openalex.org/W2003011196","https://openalex.org/W2008441811","https://openalex.org/W2014277916","https://openalex.org/W2015301146","https://openalex.org/W2020024606","https://openalex.org/W2020841721","https://openalex.org/W2021437589","https://openalex.org/W2023222549","https://openalex.org/W2023299380","https://openalex.org/W2028175476","https://openalex.org/W2040479609","https://openalex.org/W2043100293","https://openalex.org/W2044549124","https://openalex.org/W2045693727","https://openalex.org/W2046531404","https://openalex.org/W2046965757","https://openalex.org/W2047615655","https://openalex.org/W2047807579","https://openalex.org/W2048683749","https://openalex.org/W2050320220","https://openalex.org/W2050464392","https://openalex.org/W2051345428","https://openalex.org/W2053152889","https://openalex.org/W2053637323","https://openalex.org/W2054120966","https://openalex.org/W2058824372","https://openalex.org/W2058866239","https://openalex.org/W2058958439","https://openalex.org/W2060630116","https://openalex.org/W2061884904","https://openalex.org/W2062764376","https://openalex.org/W2064311741","https://openalex.org/W2069296844","https://openalex.org/W2070356752","https://openalex.org/W2073378225","https://openalex.org/W2073812497","https://openalex.org/W2083828778","https://openalex.org/W2084099544","https://openalex.org/W2086457189","https://openalex.org/W2090893462","https://openalex.org/W2092282367","https://openalex.org/W2093264024","https://openalex.org/W2104577699","https://openalex.org/W2109419963","https://openalex.org/W2111379929","https://openalex.org/W2116098983","https://openalex.org/W2117161590","https://openalex.org/W2118229393","https://openalex.org/W2119656676","https://openalex.org/W2120339017","https://openalex.org/W2124153277","https://openalex.org/W2133414903","https://openalex.org/W2134291258","https://openalex.org/W2135992106","https://openalex.org/W2139966078","https://openalex.org/W2141578875","https://openalex.org/W2142174207","https://openalex.org/W2143659699","https://openalex.org/W2144344516","https://openalex.org/W2145913834","https://openalex.org/W2150206261","https://openalex.org/W2151266859","https://openalex.org/W2151328120","https://openalex.org/W2151360539","https://openalex.org/W2157527989","https://openalex.org/W2161065509","https://openalex.org/W2162352259","https://openalex.org/W2162436812","https://openalex.org/W2169611723","https://openalex.org/W2170120409","https://openalex.org/W2174627168","https://openalex.org/W2208923056","https://openalex.org/W2572804059","https://openalex.org/W2611598995","https://openalex.org/W2912166712","https://openalex.org/W2912956306"],"related_works":["https://openalex.org/W7101052544","https://openalex.org/W1577610794","https://openalex.org/W7099122356","https://openalex.org/W7095324643","https://openalex.org/W2077436409","https://openalex.org/W7096654612","https://openalex.org/W7098365175","https://openalex.org/W2005685982","https://openalex.org/W1556886986","https://openalex.org/W2170525583"],"abstract_inverted_index":{"Software":[0],"engineers":[1],"are":[2,16,66],"faced":[3],"with":[4,87],"a":[5,28,35,43,77,123,133],"dilemma.":[6],"They":[7],"want":[8],"to":[9,20,57,68],"write":[10],"general":[11,44],"and":[12,18,54,109],"wellstructured":[13],"programs":[14,138],"that":[15,81,118,135],"flexible":[17],"easy":[19],"maintain.":[21],"On":[22],"the":[23,47,59,83,97,120,144,149],"other":[24],"hand,":[25],"generality":[26,86],"has":[27],"price:":[29],"efficiency.":[30,88],"A":[31,129],"specialized":[32,50,137],"program":[33,78,124,134],"solving":[34],"particular":[36],"problem":[37],"is":[38,52,55,76,107,132],"often":[39],"significantly":[40],"faster":[41],"than":[42],"program.":[45],"However,":[46],"development":[48],"of":[49,61,85,104,111,122,143],"software":[51,72],"time-consuming,":[53],"likely":[56],"exceed":[58],"production":[60],"today\u2019s":[62],"programmers.":[63],"New":[64],"techniques":[65],"required":[67],"solve":[69],"this":[70,105],"so-called":[71],"crisis.":[73],"Partial":[74],"evaluation":[75],"specialization":[79],"technique":[80],"reconciles":[82],"benefits":[84],"This":[89],"thesis":[90,106,147],"presents":[91],"an":[92],"automatic":[93],"partial":[94],"evaluator":[95],"for":[96],"Ansi":[98],"C":[99,112],"programming":[100],"language.":[101],"The":[102,146],"content":[103],"analysis":[108],"transformation":[110,121],"programs.":[113],"We":[114],"develop":[115],"several":[116],"analyses":[117],"support":[119],"into":[125],"its":[126],"generating":[127,130],"extension.":[128],"extension":[131],"produces":[136],"when":[139],"executed":[140],"on":[141],"parts":[142],"input.":[145],"contains":[148],"following":[150],"main":[151],"results.":[152]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":13},{"year":2023,"cited_by_count":15},{"year":2022,"cited_by_count":13},{"year":2021,"cited_by_count":38},{"year":2020,"cited_by_count":33},{"year":2019,"cited_by_count":50},{"year":2018,"cited_by_count":40},{"year":2017,"cited_by_count":46},{"year":2016,"cited_by_count":31},{"year":2015,"cited_by_count":50},{"year":2014,"cited_by_count":42},{"year":2013,"cited_by_count":51},{"year":2012,"cited_by_count":52}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}