{"id":"https://openalex.org/W4231293707","doi":"https://doi.org/10.1137/0209030","title":"Code Motion","display_name":"Code Motion","publication_year":1980,"publication_date":"1980-05-01","ids":{"openalex":"https://openalex.org/W4231293707","doi":"https://doi.org/10.1137/0209030"},"language":"en","primary_location":{"id":"doi:10.1137/0209030","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0209030","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-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/A5007364145","display_name":"John H. Reif","orcid":"https://orcid.org/0000-0002-9096-2056"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"John H. Reif","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5007364145"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3894,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.89463319,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"2","first_page":"375","last_page":"395"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12031","display_name":"Speech and dialogue systems","score":0.5083000063896179,"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/T12031","display_name":"Speech and dialogue systems","score":0.5083000063896179,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.45100000500679016,"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/T10601","display_name":"Handwritten Text Recognition Techniques","score":0.45019999146461487,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/code","display_name":"Code (set theory)","score":0.765877366065979},{"id":"https://openalex.org/keywords/unreachable-code","display_name":"Unreachable code","score":0.7089026570320129},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.659440279006958},{"id":"https://openalex.org/keywords/redundant-code","display_name":"Redundant code","score":0.6497372388839722},{"id":"https://openalex.org/keywords/motion","display_name":"Motion (physics)","score":0.5781374573707581},{"id":"https://openalex.org/keywords/dead-code","display_name":"Dead code","score":0.5687052011489868},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5548306703567505},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5147945880889893},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5068598389625549},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5031701922416687},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4771430194377899},{"id":"https://openalex.org/keywords/constant-weight-code","display_name":"Constant-weight code","score":0.44893088936805725},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.4444084167480469},{"id":"https://openalex.org/keywords/minimum-cost-flow-problem","display_name":"Minimum-cost flow problem","score":0.4126034379005432},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35204190015792847},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28501230478286743},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.26769036054611206},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23600444197654724},{"id":"https://openalex.org/keywords/linear-code","display_name":"Linear code","score":0.17054849863052368},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1488339900970459},{"id":"https://openalex.org/keywords/flow-network","display_name":"Flow network","score":0.10851040482521057},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.08122637867927551}],"concepts":[{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.765877366065979},{"id":"https://openalex.org/C50951305","wikidata":"https://www.wikidata.org/wiki/Q2482534","display_name":"Unreachable code","level":5,"score":0.7089026570320129},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.659440279006958},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.6497372388839722},{"id":"https://openalex.org/C104114177","wikidata":"https://www.wikidata.org/wiki/Q79782","display_name":"Motion (physics)","level":2,"score":0.5781374573707581},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.5687052011489868},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5548306703567505},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5147945880889893},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5068598389625549},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5031701922416687},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4771430194377899},{"id":"https://openalex.org/C197242373","wikidata":"https://www.wikidata.org/wiki/Q5163613","display_name":"Constant-weight code","level":5,"score":0.44893088936805725},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.4444084167480469},{"id":"https://openalex.org/C99545648","wikidata":"https://www.wikidata.org/wiki/Q2897180","display_name":"Minimum-cost flow problem","level":3,"score":0.4126034379005432},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35204190015792847},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28501230478286743},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.26769036054611206},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23600444197654724},{"id":"https://openalex.org/C2400350","wikidata":"https://www.wikidata.org/wiki/Q1752667","display_name":"Linear code","level":4,"score":0.17054849863052368},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1488339900970459},{"id":"https://openalex.org/C114809511","wikidata":"https://www.wikidata.org/wiki/Q1412924","display_name":"Flow network","level":2,"score":0.10851040482521057},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.08122637867927551},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C157125643","wikidata":"https://www.wikidata.org/wiki/Q884707","display_name":"Block code","level":3,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0209030","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0209030","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1972403954","https://openalex.org/W1986022261","https://openalex.org/W1995405030","https://openalex.org/W2037654569","https://openalex.org/W2047615655","https://openalex.org/W2050464392","https://openalex.org/W2079671074","https://openalex.org/W2092576944","https://openalex.org/W2110836275","https://openalex.org/W2116098983","https://openalex.org/W2118382442","https://openalex.org/W2127637733","https://openalex.org/W2144829068","https://openalex.org/W2146441023","https://openalex.org/W2989713547"],"related_works":["https://openalex.org/W2036000779","https://openalex.org/W2161969548","https://openalex.org/W2025383691","https://openalex.org/W1539844444","https://openalex.org/W2042804080","https://openalex.org/W2391342321","https://openalex.org/W1818370264","https://openalex.org/W4206106662","https://openalex.org/W2063916720","https://openalex.org/W2380710632"],"abstract_inverted_index":{"Code":[0],"motion":[1,60,111,148,179],"is":[2,128,149],"a":[3],"program":[4,194],"optimization":[5],"concerned":[6],"with":[7],"the":[8,24,42,63,78,90,96,100,114,117,121,125,140,143,156,186,190,193,197,202],"movement":[9],"of":[10,17,54,58,65,81,85,93,102,109,137,146,164,177,192,199,201],"code":[11,25,44,59,83,104,110,138,147,178],"as":[12,14,71,73],"far":[13],"possible":[15],"out":[16,84],"control":[18,86,203],"cycles":[19,87],"into":[20],"new":[21],"locations":[22],"where":[23],"may":[26,45],"be":[27,46],"executed":[28],"less":[29],"frequently.":[30],"This":[31],"paper":[32],"describes":[33],"methods":[34],"for":[35,134,142,174],"approximating":[36],"certain":[37],"functions":[38],"which":[39],"ensure":[40],"that":[41,95,124],"relocated":[43,103],"computed":[47],"properly":[48],"and":[49,88],"safely,":[50],"inducing":[51],"no":[52],"errors":[53],"computation.":[55],"The":[56],"effectiveness":[57],"depends":[61],"on":[62,74,159],"goodness":[64],"our":[66,165],"approximation":[67],"to":[68,151],"these":[69],"functions,":[70],"well":[72],"tradeoffs":[75],"between":[76],"(1)":[77],"primary":[79,118],"goal":[80,92,127],"moving":[82],"(2)":[89],"secondary":[91],"providing":[94],"values":[97],"resulting":[98],"from":[99],"execution":[101],"are":[105,112,132],"utilized.":[106],"Two":[107],"versions":[108],"formulated:":[113],"first":[115,144],"emphasizes":[116],"goal,":[119],"whereas":[120],"other":[122,157],"insures":[123],"second":[126],"not":[129],"compromised.":[130],"Algorithms":[131],"presented":[133],"both":[135],"formulations":[136,176],"motion;":[139],"algorithm":[141],"version":[145],"restricted":[150],"reducible":[152],"flow":[153,161,204],"graphs,":[154],"but":[155],"runs":[158],"all":[160],"graphs.":[162],"Both":[163],"algorithms":[166,173],"run":[167],"in":[168,185],"almost":[169],"linear":[170],"time.":[171],"Previous":[172],"similar":[175],"have":[180],"time":[181],"cost":[182],"lower":[183],"bounded":[184],"worst":[187],"case":[188],"by":[189],"length":[191],"text":[195],"times":[196],"number":[198],"nodes":[200],"graph.":[205]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}