乐胖代购免代理版

{"id":"https://openalex.org/W2151534443","doi":"https://doi.org/10.1016/j.entcs.2006.06.020","title":"Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars","display_name":"Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars","publication_year":2007,"publication_date":"2007-07-01","ids":{"openalex":"https://openalex.org/W2151534443","doi":"https://doi.org/10.1016/j.entcs.2006.06.020","mag":"2151534443"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.06.020","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.06.020","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030370686","display_name":"Eric Van Wyk","orcid":"https://orcid.org/0000-0002-5611-8687"},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"funder","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eric Van Wyk","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Minnesota"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102053567","display_name":"Lijesh Krishnan","orcid":null},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"funder","lineage":["https://openalex.org/I130238516"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Lijesh Krishnan","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Minnesota"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota","institution_ids":["https://openalex.org/I130238516"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5030370686","https://openalex.org/A5102053567"],"corresponding_institution_ids":["https://openalex.org/I130238516","https://openalex.org/I130238516"],"apc_list":null,"apc_paid":null,"fwci":0.909,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":7,"citation_normalized_percentile":{"value":0.689895,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":80,"max":81},"biblio":{"volume":"176","issue":"3","first_page":"109","last_page":"122"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9989,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9989,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9987,"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/data-type","display_name":"Data type","score":0.5288716},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5006468}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.83879495},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7207838},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.64616394},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.5288716},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.50502354},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5006468},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.4977329},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.48207408},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46346536},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.45704702},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.45583677},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.44036114},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.22766834},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1572431},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12406078}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.06.020","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},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/11299/217319","pdf_url":"https://conservancy.umn.edu/bitstreams/4a6c1083-f6e3-41f9-95f5-b2a635b1feec/download","source":{"id":"https://openalex.org/S4306402521","display_name":"University of Minnesota Digital Conservancy (University of Minnesota)","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/I130238516","host_organization_name":"University of Minnesota","host_organization_lineage":["https://openalex.org/I130238516"],"host_organization_lineage_names":["University of Minnesota"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2006.06.020","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":[{"display_name":"Quality education","score":0.41,"id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":28,"referenced_works":["https://openalex.org/W1519774423","https://openalex.org/W1519861553","https://openalex.org/W1556566737","https://openalex.org/W1557561422","https://openalex.org/W1574030932","https://openalex.org/W1607605746","https://openalex.org/W1964071625","https://openalex.org/W1966340850","https://openalex.org/W1967031800","https://openalex.org/W1988272993","https://openalex.org/W2065635796","https://openalex.org/W2069718764","https://openalex.org/W2079843645","https://openalex.org/W2088017390","https://openalex.org/W2088604010","https://openalex.org/W2098293014","https://openalex.org/W2109853339","https://openalex.org/W2125346056","https://openalex.org/W2127919458","https://openalex.org/W2131449137","https://openalex.org/W2141735009","https://openalex.org/W2150815772","https://openalex.org/W2157928544","https://openalex.org/W3083168620","https://openalex.org/W4251625249","https://openalex.org/W4256304126","https://openalex.org/W4285719527","https://openalex.org/W75415634"],"related_works":["https://openalex.org/W4246377515","https://openalex.org/W2486962094","https://openalex.org/W2143619848","https://openalex.org/W2119238100","https://openalex.org/W2095925360","https://openalex.org/W2052485000","https://openalex.org/W2052160877","https://openalex.org/W2040778456","https://openalex.org/W2027700796","https://openalex.org/W1549956274"],"abstract_inverted_index":{"Building":[0],"verified":[1,43,47,131,135],"compilers":[2],"is":[3,51,172,177],"difficult,":[4],"especially":[5],"when":[6],"complex":[7],"analyses":[8,58,137,201],"such":[9],"as":[10],"type":[11,21,44,72,132],"checking":[12,22,73],"or":[13,85,142],"data-flow":[14,79,116,136,200],"analysis":[15],"must":[16],"be":[17,149,196],"performed.":[18],"Both":[19],"the":[20,32,127,167],"and":[23,37,46,78,108,111,134,192],"program":[24,70,86],"optimization":[25,81],"communities":[26],"have":[27],"developed":[28,38],"methods":[29],"for":[30,40,102,184],"proving":[31],"correctness":[33],"of":[34,56],"these":[35,57,65,123],"processes":[36,66],"tools":[39],"using,":[41],"respectively,":[42],"systems":[45],"optimizations.":[48],"However,":[49],"it":[50,176],"difficult":[52],"to":[53,125,160,180,198],"use":[54],"both":[55,109,148],"in":[59,202],"a":[60,152,162],"single":[61,153],"declarative":[62,154],"framework":[63,155],"since":[64],"work":[67],"on":[68,74,82,122,157],"different":[69,185],"representations:":[71],"abstract":[75],"syntax":[76],"trees":[77],"analysis-based":[80],"control":[83,105],"flow":[84,106],"dependency":[87],"graphs.":[88],"We":[89],"present":[90],"an":[91],"attribute":[92,158,168],"grammar":[93,169],"specification":[94,170],"language":[95,164,171],"that":[96,114,175,189],"has":[97],"been":[98],"extended":[99],"with":[100,143],"constructs":[101,183],"specifying":[103],"attribute-labelled":[104],"graphs":[107,124],"CTL":[110],"LTL-FV":[112],"formulas":[113,119],"specify":[115,199],"analyses.":[117,129],"These":[118],"are":[120],"model-checked":[121],"perform":[126],"specified":[128],"Thus,":[130],"rules":[133],"(verified":[138],"either":[139],"by":[140],"hand":[141],"automated":[144],"proof":[145],"tools)":[146],"can":[147,195],"transcribed":[150],"into":[151],"based":[156],"grammars":[159],"build":[161],"high-confidence":[163],"implementations.":[165],"Also,":[166],"extensible":[173],"so":[174,188],"relatively":[178],"straight-forward":[179],"add":[181],"new":[182],"temporal":[186],"logics":[187,191],"alternative":[190],"model":[193],"checkers":[194],"used":[197],"this":[203],"framework.":[204]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2151534443","counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-04-17T11:46:37.038495","created_date":"2016-06-24"}