乐胖代购免代理版

{"id":"https://openalex.org/W2133908430","doi":"https://doi.org/10.1016/j.entcs.2006.04.010","title":"Bunching for Regions and Locations","display_name":"Bunching for Regions and Locations","publication_year":2006,"publication_date":"2006-05-01","ids":{"openalex":"https://openalex.org/W2133908430","doi":"https://doi.org/10.1016/j.entcs.2006.04.010","mag":"2133908430"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.04.010","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1016/j.entcs.2006.04.010","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082766959","display_name":"Matthew Collinson","orcid":"https://orcid.org/0000-0002-0496-2990"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"funder","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matthew Collinson","raw_affiliation_strings":["Department of Computer Science University of Bath Bath, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science University of Bath Bath, United Kingdom","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013218535","display_name":"David Pym","orcid":"https://orcid.org/0000-0002-6504-5838"},"institutions":[{"id":"https://openalex.org/I4210156325","display_name":"Hewlett-Packard (United Kingdom)","ror":"https://ror.org/05g4mtv59","country_code":"GB","type":"company","lineage":["https://openalex.org/I1324840837","https://openalex.org/I4210156325"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Pym","raw_affiliation_strings":["Hewlett Packard Labs - Bristol, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Hewlett Packard Labs - Bristol, United Kingdom","institution_ids":["https://openalex.org/I4210156325"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.298,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":3,"citation_normalized_percentile":{"value":0.672452,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":72,"max":74},"biblio":{"volume":"158","issue":null,"first_page":"171","last_page":"197"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9999,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9999,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9985,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9948,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.45107737}],"concepts":[{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.660222},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6562481},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.52215457},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.51710963},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.50283784},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4944682},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4579938},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.45107737},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.41727614},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38410234},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.37697002},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36118233},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2836719},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.24809062},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21955347},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19150898},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.07602295},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.04.010","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.04.010","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":35,"referenced_works":["https://openalex.org/W113100845","https://openalex.org/W1507902915","https://openalex.org/W1520893111","https://openalex.org/W1553136405","https://openalex.org/W1591716390","https://openalex.org/W1592287058","https://openalex.org/W1594841668","https://openalex.org/W1595465781","https://openalex.org/W1597916519","https://openalex.org/W1598263475","https://openalex.org/W1773735832","https://openalex.org/W1811793995","https://openalex.org/W1859542606","https://openalex.org/W1964976097","https://openalex.org/W1975082667","https://openalex.org/W2008132476","https://openalex.org/W2013474929","https://openalex.org/W2032017843","https://openalex.org/W2046137117","https://openalex.org/W2074003683","https://openalex.org/W2087875803","https://openalex.org/W2092234164","https://openalex.org/W2110435210","https://openalex.org/W2113909714","https://openalex.org/W2129133667","https://openalex.org/W2129275778","https://openalex.org/W2137628566","https://openalex.org/W2167808015","https://openalex.org/W2211325406","https://openalex.org/W2481899496","https://openalex.org/W2491204390","https://openalex.org/W4214621180","https://openalex.org/W4232919104","https://openalex.org/W4238577588","https://openalex.org/W46492264"],"related_works":["https://openalex.org/W91938043","https://openalex.org/W3129725704","https://openalex.org/W3036972880","https://openalex.org/W3023595429","https://openalex.org/W2369782853","https://openalex.org/W2257517306","https://openalex.org/W2072493788","https://openalex.org/W1988438613","https://openalex.org/W1768718906","https://openalex.org/W1493950382"],"abstract_inverted_index":{"There":[0],"are":[1,12,82],"a":[2,57,144,173,177],"number":[3],"of":[4,46,59,65,86,115,123,184],"applied":[5],"lambda-calculi":[6],"in":[7,21,33,71,84,101,137,163],"which":[8,164],"terms":[9],"and":[10,131,169,182],"types":[11],"annotated":[13],"with":[14,29,179],"parameters":[15],"denoting":[16],"either":[17],"locations":[18,20,141],"or":[19],"machine":[22],"memory.":[23],"Such":[24],"calculi":[25,45],"have":[26],"been":[27],"designed":[28],"safe":[30],"memory-management":[31,88],"operations":[32],"mind.":[34],"It":[35],"is":[36,143,167],"difficult":[37],"to":[38,110,120,149,154,171],"construct":[39],"directly":[40],"denotational":[41,174],"models":[42,61],"for":[43,96,176],"existing":[44],"this":[47,106,151],"kind.":[48],"We":[49,104,126],"approach":[50],"the":[51,66,87,98,111,117,121,165],"problem":[52],"differently,":[53],"by":[54,107],"starting":[55],"from":[56],"class":[58],"mathematical":[60],"that":[62],"describe":[63],"some":[64],"essential":[67],"semantic":[68],"properties":[69],"intended":[70],"these":[72],"calculi.":[73],"In":[74,147],"particular,":[75],"disjointness":[76,99,113],"conditions":[77,100],"between":[78],"regions":[79,109],"(or":[80],"locations)":[81],"implicit":[83],"many":[85],"operations.":[89],"Bunched":[90],"polymorphism":[91],"provides":[92],"natural":[93],"type-theoretic":[94],"mechanisms":[95],"capturing":[97],"such":[102],"models.":[103,139],"illustrate":[105],"adding":[108],"basic":[112],"model":[114,142,166],"\u03b1\u03bb,":[116],"lambda-calculus":[118],"associated":[119],"logic":[122],"bunched":[124],"implications.":[125],"show":[127],"how":[128],"both":[129],"additive":[130],"multiplicative":[132],"polymorphic":[133],"quantifiers":[134],"arise":[135],"naturally":[136],"our":[138],"A":[140],"special":[145],"case.":[146],"order":[148],"relate":[150],"enterprise":[152],"back":[153],"previous":[155],"work":[156],"on":[157],"memory-management,":[158],"we":[159],"provide":[160,172],"an":[161],"example":[162],"refined":[168],"used":[170],"semantics":[175],"language":[178],"explicit":[180],"allocation":[181],"disposal":[183],"regions.":[185]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2133908430","counts_by_year":[],"updated_date":"2025-04-18T11:18:34.953700","created_date":"2016-06-24"}