{"id":"https://openalex.org/W1974972736","doi":"https://doi.org/10.1109/csmr-wcre.2014.6747184","title":"Formal foundations for semi-parsing","display_name":"Formal foundations for semi-parsing","publication_year":2014,"publication_date":"2014-02-01","ids":{"openalex":"https://openalex.org/W1974972736","doi":"https://doi.org/10.1109/csmr-wcre.2014.6747184","mag":"1974972736"},"language":"en","primary_location":{"id":"doi:10.1109/csmr-wcre.2014.6747184","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csmr-wcre.2014.6747184","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.uva.nl/ws/files/2029073/149245_semiparsing.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084105661","display_name":"Vadim Zaytsev","orcid":"https://orcid.org/0000-0001-7764-4224"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Vadim Zaytsev","raw_affiliation_strings":["Universiteit van Amsterdam, Netherlands","Univ. van Amsterdam, Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universiteit van Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"]},{"raw_affiliation_string":"Univ. van Amsterdam, Amsterdam, Netherlands","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084105661"],"corresponding_institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":null,"first_page":"313","last_page":"317"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9983999729156494,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9973000288009644,"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/computer-science","display_name":"Computer science","score":0.8426648378372192},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.8012208938598633},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6268975734710693},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.5766425728797913},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5647835731506348},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.46272674202919006},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.45498836040496826},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3806245028972626}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8426648378372192},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.8012208938598633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6268975734710693},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.5766425728797913},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5647835731506348},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.46272674202919006},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45498836040496826},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3806245028972626}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/csmr-wcre.2014.6747184","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csmr-wcre.2014.6747184","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)","raw_type":"proceedings-article"},{"id":"pmh:oai:dare.uva.nl:openaire/5cb2c4b4-4af1-42f5-b32b-25040e3fb129","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/formal-foundations-for-semiparsing(5cb2c4b4-4af1-42f5-b32b-25040e3fb129).html","pdf_url":"https://pure.uva.nl/ws/files/2029073/149245_semiparsing.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"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,"raw_source_name":"Zaytsev, V 2014, Formal Foundations for Semi-parsing. in S Demeyer, D Binkley & F Ricca (eds), 2014 Software Evolution Week : IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) : proceedings : February 3-6, 2014, Antwerp, Belgium. Piscataway, NJ , pp. 313-317, CSMR-WCRE 2014, 1/01/14. https://doi.org/10.1109/CSMR-WCRE.2014.6747184","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dare.uva.nl:publications/5cb2c4b4-4af1-42f5-b32b-25040e3fb129","is_oa":false,"landing_page_url":"http://dare.uva.nl/personal/pure/en/publications/formal-foundations-for-semiparsing(5cb2c4b4-4af1-42f5-b32b-25040e3fb129).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/5cb2c4b4-4af1-42f5-b32b-25040e3fb129","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/formal-foundations-for-semiparsing(5cb2c4b4-4af1-42f5-b32b-25040e3fb129).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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,"raw_source_name":"2014 Software Evolution Week: IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) : proceedings : February 3-6, 2014, Antwerp, Belgium, 313 - 317","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:dare.uva.nl:openaire/5cb2c4b4-4af1-42f5-b32b-25040e3fb129","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/formal-foundations-for-semiparsing(5cb2c4b4-4af1-42f5-b32b-25040e3fb129).html","pdf_url":"https://pure.uva.nl/ws/files/2029073/149245_semiparsing.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"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,"raw_source_name":"Zaytsev, V 2014, Formal Foundations for Semi-parsing. in S Demeyer, D Binkley & F Ricca (eds), 2014 Software Evolution Week : IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) : proceedings : February 3-6, 2014, Antwerp, Belgium. Piscataway, NJ , pp. 313-317, CSMR-WCRE 2014, 1/01/14. https://doi.org/10.1109/CSMR-WCRE.2014.6747184","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1974972736.pdf","grobid_xml":"https://content.openalex.org/works/W1974972736.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W143821927","https://openalex.org/W1489393579","https://openalex.org/W1491178396","https://openalex.org/W1509675159","https://openalex.org/W1512221544","https://openalex.org/W1541411438","https://openalex.org/W1564681607","https://openalex.org/W1568649068","https://openalex.org/W1647671624","https://openalex.org/W1850047186","https://openalex.org/W1970219979","https://openalex.org/W1973189970","https://openalex.org/W1975000485","https://openalex.org/W1991654060","https://openalex.org/W2005494927","https://openalex.org/W2018045485","https://openalex.org/W2027021769","https://openalex.org/W2031196180","https://openalex.org/W2038010989","https://openalex.org/W2043105953","https://openalex.org/W2058738221","https://openalex.org/W2070810827","https://openalex.org/W2072827730","https://openalex.org/W2096834793","https://openalex.org/W2107558981","https://openalex.org/W2107741422","https://openalex.org/W2110433524","https://openalex.org/W2113112210","https://openalex.org/W2117111784","https://openalex.org/W2119516574","https://openalex.org/W2126707805","https://openalex.org/W2127340092","https://openalex.org/W2128466029","https://openalex.org/W2129858079","https://openalex.org/W2152096446","https://openalex.org/W2154554745","https://openalex.org/W2155497452","https://openalex.org/W2158004329","https://openalex.org/W2892854778","https://openalex.org/W2963430101","https://openalex.org/W3143982968","https://openalex.org/W4244267149","https://openalex.org/W6630385767","https://openalex.org/W6636915900","https://openalex.org/W6682051493","https://openalex.org/W7015350220"],"related_works":["https://openalex.org/W579810227","https://openalex.org/W2952780262","https://openalex.org/W2979495269","https://openalex.org/W2392917763","https://openalex.org/W2083429127","https://openalex.org/W2358855848","https://openalex.org/W2142145894","https://openalex.org/W2033808215","https://openalex.org/W2359307945","https://openalex.org/W2118045671"],"abstract_inverted_index":{"There":[0],"exist":[1],"many":[2],"techniques":[3,23],"for":[4],"imprecise":[5],"manipulation":[6],"of":[7,52,70],"source":[8],"code":[9],"(robust":[10],"parsing,":[11],"error":[12],"repair,":[13],"lexical":[14],"analysis,":[15],"etc),":[16],"mostly":[17],"relying":[18],"on":[19],"heuristic-based":[20],"tolerance.":[21],"Such":[22],"are":[24],"rarely":[25],"fully":[26],"formalised":[27],"and":[28,46,61,73],"quite":[29],"often":[30],"idiosyncratic,":[31],"which":[32],"makes":[33],"them":[34],"very":[35],"hard":[36],"to":[37,41],"compare":[38],"with":[39],"respect":[40],"their":[42],"applicability,":[43],"tolerance":[44],"level":[45],"general":[47],"usefulness.":[48],"With":[49],"a":[50],"combination":[51],"recently":[53],"developed":[54],"formal":[55],"methods":[56,69],"such":[57],"as":[58],"Boolean":[59],"grammars":[60],"parsing":[62],"schemata,":[63],"we":[64],"can":[65],"model":[66],"different":[67],"tolerant":[68],"modelling":[71],"software":[72],"formally":[74],"argue":[75],"about":[76],"relationships":[77],"between":[78],"them.":[79]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}