{"id":"https://openalex.org/W1485077079","doi":null,"title":"Dead Code Elimination Through Type Inference","display_name":"Dead Code Elimination Through Type Inference","publication_year":1998,"publication_date":"1998-04-02","ids":{"openalex":"https://openalex.org/W1485077079","mag":"1485077079"},"language":"en","primary_location":{"id":"pmh:oai:ecommons.cornell.edu:1813/7327","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1813/7327","pdf_url":"https://hdl.handle.net/1813/7327","source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},"volume":null,"type":"report","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/1813/7327","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014530621","display_name":"Ozan Haf\u0131zog\u0303ullar\u0131","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ozan Haf\u0131zog\u0303ullar\u0131","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5087898463","display_name":"Christoph Kreitz","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christoph Kreitz","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":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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":1.0,"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":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0,"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.0,"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/dead-code-elimination","display_name":"dead code elimination","score":1.0},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.972000002861023},{"id":"https://openalex.org/keywords/subtyping","display_name":"subtyping","score":0.6370000243186951},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.6050000190734863},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.7300000190734863},{"id":"https://openalex.org/keywords/compiler-optimization","display_name":"compiler optimization","score":0.6230000257492065},{"id":"https://openalex.org/keywords/modular-systems","display_name":"modular systems","score":0.7950000166893005}],"concepts":[{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.8307763934135437},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7636151313781738},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7413775324821472},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5241822600364685},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.503396213054657},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.47884225845336914},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4763481914997101},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4569679796695709},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44664037227630615},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.43776223063468933},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40686243772506714},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17235258221626282},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.12193220853805542},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:ecommons.cornell.edu:1813/7327","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1813/7327","pdf_url":"https://hdl.handle.net/1813/7327","source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},{"id":"mag:1485077079","doi":null,"is_oa":false,"landing_page_url":"https://ecommons.cornell.edu/bitstream/1813/7327/1/TR98-1673.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":{"id":"pmh:oai:ecommons.cornell.edu:1813/7327","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1813/7327","pdf_url":"https://hdl.handle.net/1813/7327","source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1485077079.pdf","grobid_xml":"https://content.openalex.org/works/W1485077079.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1514992909","https://openalex.org/W7097864609","https://openalex.org/W7055886459","https://openalex.org/W7100689960","https://openalex.org/W2048919922","https://openalex.org/W1506045291","https://openalex.org/W172560458","https://openalex.org/W2128433129","https://openalex.org/W7097064613","https://openalex.org/W1544257708"],"abstract_inverted_index":{"We":[0],"introduce":[1],"a":[2,19,30,37,70,82,86],"method":[3],"to":[4],"detect":[5],"and":[6,29,44,73,111],"eliminate":[7],"dead":[8,27],"code":[9,28],"in":[10,53,69,97],"typed":[11],"functional":[12],"programming":[13],"languages.":[14],"Our":[15,92],"approach":[16,64,81],"relies":[17],"on":[18,76],"type":[20,31,42,55],"system":[21,43],"with":[22,59],"simple":[23],"subtypes":[24],"for":[25,34,85,89],"specifying":[26],"inference":[32],"algorithm":[33],"it.":[35],"Through":[36],"careful":[38],"seperation":[39],"of":[40,101,108,114],"the":[41,45,54,60,66],"problem-specific":[46],"assumptions":[47],"we":[48],"avoid":[49],"\\emph{ad":[50],"hoc}":[51],"rules":[52],"system.":[56],"This,":[57],"combined":[58],"fact":[61],"that":[62],"our":[63,80],"makes":[65,79],"flow":[67],"information":[68],"program":[71,90],"explicit":[72],"is":[74],"based":[75],"well-understood":[77],"concepts":[78],"good":[83],"candidate":[84],"general":[87],"framework":[88],"analysis.":[91],"technique":[93],"can":[94],"be":[95],"used":[96],"optimizing":[98],"compilers,":[99],"optimization":[100,107],"programs":[102],"extracted":[103],"from":[104],"theorem":[105],"provers,":[106],"modular":[109],"systems,":[110],"other":[112],"areas":[113],"software":[115],"engineering.":[116]},"counts_by_year":[],"updated_date":"2026-09-01T08:31:24.195828","created_date":"2016-06-24T00:00:00"}