乐胖代购免代理版

{"id":"https://openalex.org/W1996734826","doi":"https://doi.org/10.1145/800055.802033","title":"Experiments in diffused combinator reduction","display_name":"Experiments in diffused combinator reduction","publication_year":1984,"publication_date":"1984-01-01","ids":{"openalex":"https://openalex.org/W1996734826","doi":"https://doi.org/10.1145/800055.802033","mag":"1996734826"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/800055.802033","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":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113456823","display_name":"Paul Hudak","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul Hudak","raw_affiliation_strings":["Yale University ;"],"affiliations":[{"raw_affiliation_string":"Yale University ;","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046367201","display_name":"Benjamin Goldberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Benjamin Goldberg","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.709,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":22,"citation_normalized_percentile":{"value":0.814545,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9976,"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.9976,"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/T10142","display_name":"Formal Methods in Verification","score":0.9933,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.988,"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/combinatory-logic","display_name":"Combinatory logic","score":0.9765174},{"id":"https://openalex.org/keywords/graph-reduction","display_name":"Graph reduction","score":0.8696847}],"concepts":[{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.9765174},{"id":"https://openalex.org/C97042676","wikidata":"https://www.wikidata.org/wiki/Q5597097","display_name":"Graph reduction","level":3,"score":0.8696847},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7926526},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6847879},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.6108498},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5944255},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5478114},{"id":"https://openalex.org/C186027771","wikidata":"https://www.wikidata.org/wiki/Q4008379","display_name":"Valuation (finance)","level":2,"score":0.4893026},{"id":"https://openalex.org/C14580979","wikidata":"https://www.wikidata.org/wiki/Q876049","display_name":"Very-large-scale integration","level":2,"score":0.4501016},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44836378},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44688693},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.42253327},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.41886383},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33124778},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.23650953},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22493443},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.14252007},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11144906},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/800055.802033","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":17,"referenced_works":["https://openalex.org/W1527809250","https://openalex.org/W1870063920","https://openalex.org/W1971324662","https://openalex.org/W1988638332","https://openalex.org/W2037288247","https://openalex.org/W2044224215","https://openalex.org/W2048115385","https://openalex.org/W2063068243","https://openalex.org/W2071506442","https://openalex.org/W2072602998","https://openalex.org/W2085014646","https://openalex.org/W2128457015","https://openalex.org/W2154292210","https://openalex.org/W2157598146","https://openalex.org/W2160175950","https://openalex.org/W2167826063","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4251763581","https://openalex.org/W2313503008","https://openalex.org/W2117682625","https://openalex.org/W2047588290","https://openalex.org/W2023505575","https://openalex.org/W1996734826","https://openalex.org/W1850053445","https://openalex.org/W1608806855","https://openalex.org/W1578204257","https://openalex.org/W1545300642"],"abstract_inverted_index":{"In":[0],"recent":[1],"years":[2],"there":[3,63],"has":[4],"been":[5,72],"a":[6,33,65,74,90],"fair":[7],"amount":[8],"of":[9,76,92],"interest":[10],"both":[11],"in":[12,20,80],"using":[13,21],"combinators":[14],"to":[15,59],"represent":[16],"functional":[17],"programs,":[18],"and":[19,61],"graph":[22],"reduction":[23,79,83],"as":[24],"an":[25,37],"underlying":[26],"valuation":[27],"strategy.":[28],"Combining":[29],"these":[30],"ideas":[31,99],"within":[32],"single":[34],"framework":[35],"for":[36,68],"\u201capplicative":[38],"architecture\u201d":[39],"is":[40,49,64,85],"very":[41,56],"appealing":[42],"because:":[43],"(1)":[44],"the":[45,52,82],"normally":[46],"ubiquitous":[47],"\u201cenvironment\u201d":[48],"eliminated,":[50],"(2)":[51],"evaluation":[53],"strategy":[54],"becomes":[55],"simple":[57],"(amenable":[58],"VLSI),":[60],"(3)":[62],"great":[66],"potential":[67],"parallelism.":[69],"We":[70,95],"have":[71,96],"exploring":[73],"model":[75],"diffused":[77],"combinator":[78],"which":[81],"process":[84],"distributed":[86],"\u201cby":[87],"demand\u201d":[88],"among":[89],"network":[91],"closely-coupled":[93],"processors.":[94],"tested":[97],"our":[98],"via":[100],"simulation,":[101],"with":[102],"encouraging":[103],"results.":[104]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1996734826","counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2024-12-11T13:48:14.784405","created_date":"2016-06-24"}