乐胖代购免代理版

{"id":"https://openalex.org/W2150432932","doi":"https://doi.org/10.1145/1251535.1251541","title":"Heap analysis in the presence of collection libraries","display_name":"Heap analysis in the presence of collection libraries","publication_year":2007,"publication_date":"2007-06-13","ids":{"openalex":"https://openalex.org/W2150432932","doi":"https://doi.org/10.1145/1251535.1251541","mag":"2150432932"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1251535.1251541","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":true,"oa_status":"green","oa_url":"https://oa.upm.es/14335/1/HERME_ARC_2007-5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024427812","display_name":"Mark Marron","orcid":"https://orcid.org/0000-0003-3589-4860"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mark Marron","raw_affiliation_strings":["University of New Mexico, Albuquerque, NM"],"affiliations":[{"raw_affiliation_string":"University of New Mexico, Albuquerque, NM","institution_ids":["https://openalex.org/I169521973"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103204365","display_name":"Darko Stefanovi\u0107","orcid":"https://orcid.org/0000-0002-5619-3599"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Darko Stefanovic","raw_affiliation_strings":["University of New Mexico, Albuquerque, NM"],"affiliations":[{"raw_affiliation_string":"University of New Mexico, Albuquerque, NM","institution_ids":["https://openalex.org/I169521973"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Manuel Hermenegildo","raw_affiliation_strings":["T.U. of Madrid, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"T.U. of Madrid, Madrid, Spain","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003856856","display_name":"Deepak Kapur","orcid":"https://orcid.org/0000-0003-2464-2895"},"institutions":[{"id":"https://openalex.org/I169521973","display_name":"University of New Mexico","ror":"https://ror.org/05fs6jp91","country_code":"US","type":"education","lineage":["https://openalex.org/I169521973"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Deepak Kapur","raw_affiliation_strings":["University of New Mexico, Albuquerque, NM"],"affiliations":[{"raw_affiliation_string":"University of New Mexico, Albuquerque, NM","institution_ids":["https://openalex.org/I169521973"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.477,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":20,"citation_normalized_percentile":{"value":0.750074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":"31","last_page":"36"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9992,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9992,"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/T10126","display_name":"Logic, programming, and type systems","score":0.995,"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/T10028","display_name":"Topic Modeling","score":0.994,"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.7406031},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4612566},{"id":"https://openalex.org/keywords/abstract-data-type","display_name":"Abstract data type","score":0.4413297},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.44073063}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.86331177},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.7406031},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.6621606},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.6359127},{"id":"https://openalex.org/C133462117","wikidata":"https://www.wikidata.org/wiki/Q4929239","display_name":"Data collection","level":2,"score":0.5157695},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4944086},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4911277},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4612566},{"id":"https://openalex.org/C175971053","wikidata":"https://www.wikidata.org/wiki/Q827335","display_name":"Abstract data type","level":2,"score":0.4413297},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.44073063},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.38154763},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.34403807},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1251535.1251541","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://oa.upm.es/14335/","pdf_url":"https://oa.upm.es/14335/1/HERME_ARC_2007-5.pdf","source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":["Universidad Polit\u00e9cnica de Madrid"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://oa.upm.es/14335/","pdf_url":"https://oa.upm.es/14335/1/HERME_ARC_2007-5.pdf","source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":["Universidad Polit\u00e9cnica de Madrid"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":25,"referenced_works":["https://openalex.org/W1485372940","https://openalex.org/W1575880103","https://openalex.org/W1595182411","https://openalex.org/W1595979272","https://openalex.org/W1787265089","https://openalex.org/W1975914482","https://openalex.org/W1996094959","https://openalex.org/W2006668087","https://openalex.org/W2019709986","https://openalex.org/W2019854215","https://openalex.org/W2029214188","https://openalex.org/W2060697066","https://openalex.org/W2072858236","https://openalex.org/W2082827821","https://openalex.org/W2087612811","https://openalex.org/W2088126145","https://openalex.org/W2126415451","https://openalex.org/W2138245690","https://openalex.org/W2139356751","https://openalex.org/W2153185479","https://openalex.org/W2170577595","https://openalex.org/W2294152467","https://openalex.org/W2914074464","https://openalex.org/W4250522981","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4297378365","https://openalex.org/W4213129642","https://openalex.org/W3132862870","https://openalex.org/W2597112604","https://openalex.org/W2524496484","https://openalex.org/W2523205872","https://openalex.org/W1700460898","https://openalex.org/W1688372159","https://openalex.org/W1524351898","https://openalex.org/W1487406077"],"abstract_inverted_index":{"Memory":[0],"analysis":[1,76],"techniques":[2],"have":[3],"become":[4],"sophisticated":[5],"enough":[6],"to":[7,74,80,83,93,124,138,147,186],"model,":[8],"with":[9,145],"a":[10,37,91,115,169,179],"high":[11],"degree":[12],"of":[13,17,40,47,99,104,142,157,171,178],"accuracy,":[14],"the":[15,58,81,85,105,109,122,133,140,143,148,151,155,158,162,165,176,187,191,199],"manipulation":[16],"simple":[18],"memory":[19],"structures":[20,55],"(finite":[21],"structures,":[22],"single/double":[23],"linked":[24],"lists":[25],"and":[26,135],"trees).":[27],"However,":[28],"modern":[29],"programming":[30],"languages":[31],"provide":[32],"extensive":[33],"library":[34],"support":[35],"including":[36],"wide":[38],"range":[39],"generic":[41],"collection":[42,110,159,192],"objects":[43,111],"that":[44,57,117],"make":[45],"use":[46],"complex":[48],"internal":[49],"data":[50,54],"structures.":[51],"While":[52],"these":[53,63],"ensure":[56],"collections":[59,95,123,134,200],"are":[60],"efficient,":[61],"often":[62],"representations":[64],"cannot":[65],"be":[66,125],"effectively":[67],"modeled":[68],"by":[69],"existing":[70],"methods":[71],"(either":[72],"due":[73,79],"excessive":[75],"runtime":[77],"or":[78],"inability":[82],"represent":[84,94,168],"required":[86],"information).":[87],"This":[88],"paper":[89],"presents":[90],"method":[92],"using":[96],"an":[97],"abstraction":[98],"their":[100],"semantics.":[101],"The":[102],"construction":[103,128],"abstract":[106],"semantics":[107],"for":[108],"is":[112,136],"done":[113],"in":[114,121,150,190],"manner":[116],"allows":[118],"individual":[119,188],"elements":[120,149,189],"identified.":[126],"Our":[127],"also":[129],"supports":[130],"iterators":[131,144],"over":[132,198],"able":[137],"model":[139,166],"position":[141],"respect":[146],"collection.":[152,180],"By":[153],"ordering":[154],"contents":[156,177],"based":[160],"on":[161],"iterator":[163],"position,":[164],"can":[167],"notion":[170],"progress":[172],"when":[173],"iteratively":[174],"manipulating":[175],"These":[181],"features":[182],"allow":[183],"strong":[184,196],"updates":[185,197],"as":[193,195],"well":[194],"themselves.":[201]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2150432932","counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":5}],"updated_date":"2024-12-14T04:55:36.903276","created_date":"2016-06-24"}