乐胖代购免代理版

{"id":"https://openalex.org/W2138889007","doi":"https://doi.org/10.1145/2384616.2384636","title":"Automating object transformations for dynamic software updating","display_name":"Automating object transformations for dynamic software updating","publication_year":2012,"publication_date":"2012-10-19","ids":{"openalex":"https://openalex.org/W2138889007","doi":"https://doi.org/10.1145/2384616.2384636","mag":"2138889007"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2384616.2384636","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":"http://www.cs.utexas.edu/users/mckinley/papers/tos-oopsla-2012.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012433957","display_name":"S. Magill","orcid":"https://orcid.org/0000-0001-5621-9819"},"institutions":[],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Magill","raw_affiliation_strings":["IDA Center for Computing Sciences, Bowie, MD, USA"],"affiliations":[{"raw_affiliation_string":"IDA Center for Computing Sciences, Bowie, MD, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046625836","display_name":"Michael Hicks","orcid":"https://orcid.org/0000-0002-2759-9223"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"funder","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Hicks","raw_affiliation_strings":["University of Maryland, College Park, College Park, MD, USA;"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, College Park, MD, USA;","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015255115","display_name":"Suriya Subramanian","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"funder","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suriya Subramanian","raw_affiliation_strings":["Intel Corporation, Santa Clara, CA, USA"],"affiliations":[{"raw_affiliation_string":"Intel Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087054368","display_name":"Kathryn S. McKinley","orcid":"https://orcid.org/0000-0002-7188-2501"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"funder","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kathryn S. McKinley","raw_affiliation_strings":["Microsoft Research & The University of Texas at Austin, Redmond, WA, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Research & The University of Texas at Austin, Redmond, WA, USA#TAB#","institution_ids":["https://openalex.org/I86519309"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.724,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.939183,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":92,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"265","last_page":"280"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9989,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.8820367},{"id":"https://openalex.org/keywords/downtime","display_name":"Downtime","score":0.56614435},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.5198501},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4154393}],"concepts":[{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.8820367},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.84764844},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.653209},{"id":"https://openalex.org/C180591934","wikidata":"https://www.wikidata.org/wiki/Q1253369","display_name":"Downtime","level":2,"score":0.56614435},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5198501},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4785831},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.42271662},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41612384},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4154393},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39149365},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.39092287},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09523538}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2384616.2384636","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.768","pdf_url":"http://www.cs.utexas.edu/users/mckinley/papers/tos-oopsla-2012.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.768","pdf_url":"http://www.cs.utexas.edu/users/mckinley/papers/tos-oopsla-2012.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":20,"referenced_works":["https://openalex.org/W1510358061","https://openalex.org/W155274003","https://openalex.org/W1973659375","https://openalex.org/W1998009565","https://openalex.org/W2000100269","https://openalex.org/W2047401676","https://openalex.org/W2101857770","https://openalex.org/W2105204977","https://openalex.org/W2108247069","https://openalex.org/W2118005163","https://openalex.org/W2132525863","https://openalex.org/W2133638476","https://openalex.org/W2139430599","https://openalex.org/W2164611950","https://openalex.org/W2295109848","https://openalex.org/W2400355634","https://openalex.org/W4231606388","https://openalex.org/W4233189519","https://openalex.org/W4237412827","https://openalex.org/W4251369193"],"related_works":["https://openalex.org/W3081644756","https://openalex.org/W2954002293","https://openalex.org/W2892741875","https://openalex.org/W2164372000","https://openalex.org/W2109143577","https://openalex.org/W2078264086","https://openalex.org/W2046276983","https://openalex.org/W1985537075","https://openalex.org/W1535670175","https://openalex.org/W131477820"],"abstract_inverted_index":{"Dynamic":[0],"software":[1,188],"updating":[2],"(DSU)":[3],"systems":[4,25],"eliminate":[5],"costly":[6],"downtime":[7],"by":[8],"dynamically":[9],"fixing":[10],"bugs":[11],"and":[12,49,64,89,123,126,174,185],"adding":[13],"features":[14],"to":[15,39,51,144,156],"executing":[16],"programs.":[17],"Given":[18,104,129],"a":[19,32,73,100],"static":[20],"code":[21,28],"patch,":[22],"most":[23],"DSU":[24],"construct":[26],"runtime":[27],"changes":[29,184],"automatically.":[30],"However,":[31],"dynamic":[33,187],"update":[34],"must":[35],"also":[36],"specify":[37],"how":[38],"change":[40],"the":[41,47,56,83,87,95,113,136],"running":[42],"program's":[43],"execution":[44],"state,":[45],"e.g.,":[46],"stack":[48],"heap,":[50],"make":[52],"it":[53,163],"compatible":[54],"with":[55],"new":[57,90],"code.":[58],"Constructing":[59],"such":[60],"state":[61,98],"transformations":[62,179],"correctly":[63],"automatically":[65],"remains":[66],"an":[67,141],"open":[68],"problem.":[69],"This":[70],"paper":[71],"presents":[72],"solution":[74],"called":[75],"Targeted":[76],"Object":[77],"Synthesis":[78],"(TOS).":[79],"TOS":[80,109,133,151],"first":[81],"executes":[82],"same":[84],"tests":[85],"on":[86,154,172],"old":[88,125],"program":[91,96],"versions":[92,115],"separately,":[93],"observing":[94],"heap":[97,107],"at":[99],"few":[101],"corresponding":[102,106],"points.":[103],"two":[105,114],"states,":[108],"matches":[110],"objects":[111,122],"in":[112],"using":[116],"key":[117],"fields":[118],"that":[119,139,150,168],"uniquely":[120],"identify":[121],"correlate":[124],"new-version":[127,146],"objects.":[128],"example":[130],"object":[131,143],"pairs,":[132],"then":[134],"synthesizes":[135],"simplest-possible":[137],"function":[138],"transforms":[140],"old-version":[142],"its":[145],"counterpart.":[147],"We":[148],"show":[149],"is":[152],"effective":[153],"updates":[155],"four":[157],"open-source":[158],"server":[159],"programs":[160],"for":[161],"which":[162],"generates":[164],"non-trivial":[165],"transformation":[166],"functions":[167],"use":[169],"conditionals,":[170],"operate":[171],"collections,":[173],"fix":[175],"memory":[176],"leaks.":[177],"These":[178],"help":[180],"programmers":[181],"understand":[182],"their":[183],"apply":[186],"updates.":[189]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2138889007","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2025-03-18T19:54:41.669547","created_date":"2016-06-24"}