乐胖代购免代理版

{"id":"https://openalex.org/W2763193397","doi":"https://doi.org/10.1145/3136000.3136011","title":"A Scala framework for supercompilation","display_name":"A Scala framework for supercompilation","publication_year":2017,"publication_date":"2017-10-12","ids":{"openalex":"https://openalex.org/W2763193397","doi":"https://doi.org/10.1145/3136000.3136011","mag":"2763193397"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3136000.3136011","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/A5111998286","display_name":"Nathaniel Nystrom","orcid":null},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Nathaniel Nystrom","raw_affiliation_strings":["University of Lugano, Switzerland"],"affiliations":[{"raw_affiliation_string":"University of Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5111998286"],"corresponding_institution_ids":["https://openalex.org/I57201433"],"apc_list":null,"apc_paid":null,"fwci":0.299,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":4,"citation_normalized_percentile":{"value":0.442606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":77,"max":79},"biblio":{"volume":null,"issue":null,"first_page":"18","last_page":"28"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998,"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.9998,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9953,"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.9918,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.6740142},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.600338},{"id":"https://openalex.org/keywords/just-in-time-compilation","display_name":"Just-in-time compilation","score":0.47868353},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model Transformation","score":0.4718568}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.84399986},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.79949063},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6898676},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.6826936},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.6740142},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.6698193},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.600338},{"id":"https://openalex.org/C76782552","wikidata":"https://www.wikidata.org/wiki/Q110546","display_name":"Just-in-time compilation","level":3,"score":0.47868353},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4718568},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.44690627},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.44644028},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36490133},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.22810614},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1208902},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08368567},{"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3136000.3136011","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":15,"referenced_works":["https://openalex.org/W147310046","https://openalex.org/W1515042646","https://openalex.org/W1556604985","https://openalex.org/W1890419246","https://openalex.org/W1966862293","https://openalex.org/W1990312703","https://openalex.org/W2020024606","https://openalex.org/W2103859677","https://openalex.org/W2111863285","https://openalex.org/W2125977928","https://openalex.org/W2159873760","https://openalex.org/W2208923056","https://openalex.org/W2295174177","https://openalex.org/W2912819106","https://openalex.org/W3105116128"],"related_works":["https://openalex.org/W4249620867","https://openalex.org/W3081695254","https://openalex.org/W2978069623","https://openalex.org/W2727683856","https://openalex.org/W2589710902","https://openalex.org/W2589301260","https://openalex.org/W2214930354","https://openalex.org/W2100148636","https://openalex.org/W2012921833","https://openalex.org/W120774220"],"abstract_inverted_index":{"Supercompilation":[0,18],"is":[1],"a":[2,56,101],"program":[3],"transformation":[4],"technique":[5,37],"that":[6,42,58],"attempts":[7],"to":[8,71],"evaluate":[9],"programs":[10],"as":[11,13],"much":[12],"possible":[14],"at":[15],"compile":[16],"time.":[17],"has":[19,38],"been":[20],"used":[21,61],"for":[22,62,103],"theorem":[23],"proving,":[24],"function":[25],"inversion,":[26],"and":[27,86,93],"most":[28],"notably":[29],"optimization,":[30],"especially":[31],"of":[32],"functional":[33],"programs.":[34],"However,":[35],"the":[36,81,87,97],"numerous":[39],"practical":[40],"problems":[41],"prevent":[43],"it":[44],"from":[45,75],"being":[46],"applied":[47],"in":[48],"mainstream":[49],"compilers.":[50],"In":[51],"this":[52],"paper,":[53],"we":[54],"describe":[55],"framework":[57,68,88],"can":[59],"be":[60,72],"experimenting":[63],"with":[64],"supercompilation":[65],"techniques.":[66],"Our":[67],"allows":[69],"supercompilers":[70],"constructed":[73],"directly":[74],"an":[76],"interpreter.":[77],"The":[78],"user":[79],"specifies":[80],"interpreter":[82],"using":[83],"rewrite":[84],"rules":[85],"handles":[89],"termination":[90],"checking,":[91],"generalization,":[92],"residualization.":[94],"We":[95],"demonstrate":[96],"approach":[98],"by":[99],"implementing":[100],"supercompiler":[102],"JavaScript.":[104]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2763193397","counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-03-20T10:41:26.596753","created_date":"2017-10-20"}