乐胖代购免代理版

{"id":"https://openalex.org/W847435257","doi":"https://doi.org/10.1016/j.scico.2016.03.005","title":"Embedding attribute grammars and their extensions using functional zippers","display_name":"Embedding attribute grammars and their extensions using functional zippers","publication_year":2016,"publication_date":"2016-04-01","ids":{"openalex":"https://openalex.org/W847435257","doi":"https://doi.org/10.1016/j.scico.2016.03.005","mag":"847435257"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2016.03.005","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.1016/j.scico.2016.03.005","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059466587","display_name":"Pedro Martins","orcid":"https://orcid.org/0000-0002-4024-7599"},"institutions":[{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"funder","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Pedro Martins","raw_affiliation_strings":["High-Assurance Software Laboratory (HASLAB/INESC TEC), Universidade do Minho, Braga, Portugal"],"affiliations":[{"raw_affiliation_string":"High-Assurance Software Laboratory (HASLAB/INESC TEC), Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037619063","display_name":"Jo\u00e3o Paulo Fernandes","orcid":"https://orcid.org/0000-0002-1952-9460"},"institutions":[{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"funder","lineage":["https://openalex.org/I99682543"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]},{"id":"https://openalex.org/I161321875","display_name":"University of Beira Interior","ror":"https://ror.org/03nf36p02","country_code":"PT","type":"funder","lineage":["https://openalex.org/I161321875"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jo\u00e3o Paulo Fernandes","raw_affiliation_strings":["High-Assurance Software Laboratory (HASLAB/INESC TEC), Universidade do Minho, Braga, Portugal","Reliable and Secure Computation Group ((rel)ease), Universidade da Beira Interior, Covilh\u00e3, Portugal"],"affiliations":[{"raw_affiliation_string":"High-Assurance Software Laboratory (HASLAB/INESC TEC), Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543","https://openalex.org/I4210166615"]},{"raw_affiliation_string":"Reliable and Secure Computation Group ((rel)ease), Universidade da Beira Interior, Covilh\u00e3, Portugal","institution_ids":["https://openalex.org/I161321875"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087190575","display_name":"Jo\u00e3o Saraiva","orcid":"https://orcid.org/0000-0002-5686-7151"},"institutions":[{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"funder","lineage":["https://openalex.org/I99682543"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jo\u00e3o Saraiva","raw_affiliation_strings":["High-Assurance Software Laboratory (HASLAB/INESC TEC), Universidade do Minho, Braga, Portugal"],"affiliations":[{"raw_affiliation_string":"High-Assurance Software Laboratory (HASLAB/INESC TEC), Universidade do Minho, Braga, Portugal","institution_ids":["https://openalex.org/I99682543","https://openalex.org/I4210166615"]}]},{"author_position":"middle","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, Minneapolis, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota, Minneapolis, USA","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061957698","display_name":"Anthony M. Sloane","orcid":"https://orcid.org/0000-0002-6802-7360"},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"funder","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Anthony Sloane","raw_affiliation_strings":["Department of Computing, Macquarie University, Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"Department of Computing, Macquarie University, Sydney, Australia","institution_ids":["https://openalex.org/I99043593"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5059466587","https://openalex.org/A5037619063","https://openalex.org/A5087190575","https://openalex.org/A5030370686","https://openalex.org/A5061957698"],"corresponding_institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I99682543","https://openalex.org/I99682543","https://openalex.org/I4210166615","https://openalex.org/I161321875","https://openalex.org/I99682543","https://openalex.org/I4210166615","https://openalex.org/I130238516","https://openalex.org/I99043593"],"apc_list":{"value":2460,"currency":"USD","value_usd":2460},"apc_paid":null,"fwci":2.268,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.910353,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":86,"max":87},"biblio":{"volume":"132","issue":null,"first_page":"2","last_page":"28"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9991,"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/executable","display_name":"Executable","score":0.61117077},{"id":"https://openalex.org/keywords/definite-clause-grammar","display_name":"Definite clause grammar","score":0.447428}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8703413},{"id":"https://openalex.org/C67621940","wikidata":"https://www.wikidata.org/wiki/Q3113340","display_name":"L-attributed grammar","level":4,"score":0.8087555},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.75464594},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.64154166},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.61117077},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.59186953},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.59148407},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.513511},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.47285628},{"id":"https://openalex.org/C97169998","wikidata":"https://www.wikidata.org/wiki/Q1582738","display_name":"Definite clause grammar","level":5,"score":0.447428},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4235952},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.3417406},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30241403},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.24434015},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.16855294}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2016.03.005","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/35839","pdf_url":"https://repositorium.sdum.uminho.pt/bitstream/1822/35839/1/Pedro%20Miguel%20Ribeiro%20Martins.pdf","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.scico.2016.03.005","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"score":0.51,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"grants":[{"funder":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation","award_id":"1047961"},{"funder":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award_id":"FCOMP-01-0124-FEDER-020532"},{"funder":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award_id":"BIM-2013_BestCase_RL3.2_UMINHO"},{"funder":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund","award_id":null}],"datasets":[],"versions":[],"referenced_works_count":72,"referenced_works":["https://openalex.org/W1485908855","https://openalex.org/W1507693023","https://openalex.org/W1520309070","https://openalex.org/W1529603770","https://openalex.org/W1548906456","https://openalex.org/W1565899642","https://openalex.org/W1568396250","https://openalex.org/W1571146089","https://openalex.org/W1584239167","https://openalex.org/W1591118557","https://openalex.org/W1598022760","https://openalex.org/W1603306670","https://openalex.org/W1756851583","https://openalex.org/W1762364173","https://openalex.org/W178941037","https://openalex.org/W1829244603","https://openalex.org/W1875475496","https://openalex.org/W1891773423","https://openalex.org/W1941585394","https://openalex.org/W1964071625","https://openalex.org/W1966340850","https://openalex.org/W1975052385","https://openalex.org/W1975856535","https://openalex.org/W1998875295","https://openalex.org/W1999551191","https://openalex.org/W2000616678","https://openalex.org/W2003127764","https://openalex.org/W2006660981","https://openalex.org/W2018009728","https://openalex.org/W2031307565","https://openalex.org/W2043548135","https://openalex.org/W2052801637","https://openalex.org/W2055566209","https://openalex.org/W2057779772","https://openalex.org/W2062950667","https://openalex.org/W2070811535","https://openalex.org/W2070821087","https://openalex.org/W2072934587","https://openalex.org/W2073125335","https://openalex.org/W2073854877","https://openalex.org/W2080901110","https://openalex.org/W2093896470","https://openalex.org/W2109853339","https://openalex.org/W2111430615","https://openalex.org/W2117309948","https://openalex.org/W2121357705","https://openalex.org/W2123915394","https://openalex.org/W2126599323","https://openalex.org/W2130876928","https://openalex.org/W2131449137","https://openalex.org/W2140270417","https://openalex.org/W2146462464","https://openalex.org/W2151592950","https://openalex.org/W2158747086","https://openalex.org/W2161117974","https://openalex.org/W2167268698","https://openalex.org/W2169912445","https://openalex.org/W2264716425","https://openalex.org/W2410491820","https://openalex.org/W2478950879","https://openalex.org/W2789764638","https://openalex.org/W2912949875","https://openalex.org/W3001351914","https://openalex.org/W4233451345","https://openalex.org/W4234171087","https://openalex.org/W4239084142","https://openalex.org/W4242379536","https://openalex.org/W4251625249","https://openalex.org/W4252273753","https://openalex.org/W4254628363","https://openalex.org/W4256304126","https://openalex.org/W631494217"],"related_works":["https://openalex.org/W4388481545","https://openalex.org/W2117111784","https://openalex.org/W2093824326","https://openalex.org/W2055334547","https://openalex.org/W2054207931","https://openalex.org/W2036219509","https://openalex.org/W2007033444","https://openalex.org/W1970209336","https://openalex.org/W1871570343","https://openalex.org/W1482971955"],"abstract_inverted_index":null,"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W847435257","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-04-18T13:31:17.260767","created_date":"2016-06-24"}