{"id":"https://openalex.org/W2091258275","doi":"https://doi.org/10.1142/s0218194010004700","title":"EXTENSIBLE SYNTAX-ORIENTED VERIFIER WITH CONTEXT-DEPENDENT RECURSIVE VERIFICATION","display_name":"EXTENSIBLE SYNTAX-ORIENTED VERIFIER WITH CONTEXT-DEPENDENT RECURSIVE VERIFICATION","publication_year":2010,"publication_date":"2010-03-01","ids":{"openalex":"https://openalex.org/W2091258275","doi":"https://doi.org/10.1142/s0218194010004700","mag":"2091258275"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194010004700","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194010004700","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},"type":"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/A5111549905","display_name":"Takao Shimomura","orcid":null},"institutions":[{"id":"https://openalex.org/I922474255","display_name":"Tokushima University","ror":"https://ror.org/044vy1d05","country_code":"JP","type":"education","lineage":["https://openalex.org/I922474255"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"TAKAO SHIMOMURA","raw_affiliation_strings":["Department of Information Science and Intelligent Systems, University of Tokushima, 2-1 Minamijosanjima, Tokushima, 770-8506, Japan","Department of Information Science and Intelligent Systems, University of Tokushima, 2-1, Minamijosanjima, Tokushima 770-8506, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Information Science and Intelligent Systems, University of Tokushima, 2-1 Minamijosanjima, Tokushima, 770-8506, Japan","institution_ids":["https://openalex.org/I922474255"]},{"raw_affiliation_string":"Department of Information Science and Intelligent Systems, University of Tokushima, 2-1, Minamijosanjima, Tokushima 770-8506, Japan","institution_ids":["https://openalex.org/I922474255"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022825112","display_name":"Quan Liang Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I922474255","display_name":"Tokushima University","ror":"https://ror.org/044vy1d05","country_code":"JP","type":"education","lineage":["https://openalex.org/I922474255"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"QUAN LIANG CHEN","raw_affiliation_strings":["Course of Information Science and Intelligent Systems, University of Tokushima, 2-1 Minamijosanjima, Tokushima, 770-8506, Japan"],"affiliations":[{"raw_affiliation_string":"Course of Information Science and Intelligent Systems, University of Tokushima, 2-1 Minamijosanjima, Tokushima, 770-8506, Japan","institution_ids":["https://openalex.org/I922474255"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110257103","display_name":"Muneo Takahashi","orcid":null},"institutions":[{"id":"https://openalex.org/I86917102","display_name":"Toin University of Yokohama","ror":"https://ror.org/020pjpv69","country_code":"JP","type":"education","lineage":["https://openalex.org/I86917102"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"MUNEO TAKAHASHI","raw_affiliation_strings":["Department of Control and System Engineering, Toin University of Yokohama, 1614 Kurogane-cho, Aoba-ku, Yokohama, 225-0025, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Control and System Engineering, Toin University of Yokohama, 1614 Kurogane-cho, Aoba-ku, Yokohama, 225-0025, Japan","institution_ids":["https://openalex.org/I86917102"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5111549905"],"corresponding_institution_ids":["https://openalex.org/I922474255"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1606371,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"02","first_page":"233","last_page":"251"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12601","display_name":"Web Applications and Data Management","score":0.9995999932289124,"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/T12601","display_name":"Web Applications and Data Management","score":0.9995999932289124,"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/T12016","display_name":"Web Data Mining and Analysis","score":0.9958000183105469,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9958000183105469,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8699458837509155},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7377339005470276},{"id":"https://openalex.org/keywords/abstract-syntax-tree","display_name":"Abstract syntax tree","score":0.640091598033905},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.5854251980781555},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5670944452285767},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5285056233406067},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5192608833312988},{"id":"https://openalex.org/keywords/abstract-syntax","display_name":"Abstract syntax","score":0.48712730407714844},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.47581225633621216},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4658428430557251},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.431018590927124},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.2847065329551697},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16948199272155762},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.1595921814441681}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8699458837509155},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7377339005470276},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.640091598033905},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.5854251980781555},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5670944452285767},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5285056233406067},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5192608833312988},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.48712730407714844},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.47581225633621216},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4658428430557251},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.431018590927124},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2847065329551697},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16948199272155762},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.1595921814441681},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194010004700","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194010004700","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W149195598","https://openalex.org/W169805878","https://openalex.org/W1975542729","https://openalex.org/W1993550470","https://openalex.org/W1993836075","https://openalex.org/W2070869623","https://openalex.org/W2084974764","https://openalex.org/W2120222276","https://openalex.org/W2125359479","https://openalex.org/W2152456518","https://openalex.org/W2163868917","https://openalex.org/W2168773274","https://openalex.org/W2441671857","https://openalex.org/W4241732799"],"related_works":["https://openalex.org/W2077104824","https://openalex.org/W2536864162","https://openalex.org/W2613250302","https://openalex.org/W2390421503","https://openalex.org/W1988370859","https://openalex.org/W2387926336","https://openalex.org/W319507398","https://openalex.org/W2143166528","https://openalex.org/W2364428493","https://openalex.org/W2773378563"],"abstract_inverted_index":{"To":[0],"develop":[1],"Web":[2,70],"applications":[3],"of":[4,18,55,69,101],"high":[5],"quality,":[6],"it":[7,108,127],"is":[8],"important":[9],"to":[10,14,27,39,44,48,83,110,129],"apply":[11,23],"efficient":[12],"frameworks":[13],"standardize":[15],"the":[16,29,46,99],"process":[17,138],"development":[19],"in":[20,135],"projects,":[21],"or":[22,78],"useful":[24],"design":[25],"patterns":[26],"produce":[28],"program":[30],"code":[31,79],"that":[32],"can":[33],"easily":[34],"be":[35],"enhanced.":[36],"In":[37],"addition":[38],"these":[40],"efforts,":[41],"we":[42],"have":[43],"check":[45],"programs":[47],"see":[49],"whether":[50],"they":[51],"keep":[52],"various":[53],"kinds":[54,68],"rules":[56],"such":[57],"as":[58],"verification":[59,73,90,124,137],"items":[60,74],"for":[61,66,75,92],"security":[62],"which":[63,81,125],"are":[64],"common":[65],"all":[67],"applications,":[71],"and":[72,97],"coding":[76],"styles":[77],"conventions":[80],"pertain":[82],"each":[84],"project.":[85],"This":[86],"paper":[87],"proposes":[88],"a":[89,121,132,136],"method":[91],"an":[93],"extensible":[94],"syntax-oriented":[95],"verifier,":[96],"describes":[98],"implementation":[100],"its":[102],"prototype":[103],"system,":[104],"SyntaxVerifier.":[105],"SyntaxVerifier":[106],"makes":[107,126],"possible":[109],"detect":[111],"syntactical":[112],"objects":[113],"based":[114],"on":[115],"their":[116],"syntactic":[117],"contexts.":[118],"It":[119],"realizes":[120],"context-dependent":[122],"recursive":[123],"easy":[128],"dynamically":[130],"trace":[131],"syntax":[133],"tree":[134],"itself.":[139]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}