{"id":"https://openalex.org/W4402210707","doi":"https://doi.org/10.1145/3678232.3678243","title":"Grammar-based Pattern Matching and Type Checking for Difference Data Structures","display_name":"Grammar-based Pattern Matching and Type Checking for Difference Data Structures","publication_year":2024,"publication_date":"2024-09-04","ids":{"openalex":"https://openalex.org/W4402210707","doi":"https://doi.org/10.1145/3678232.3678243"},"language":"en","primary_location":{"id":"doi:10.1145/3678232.3678243","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3678232.3678243","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3678232.3678243","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004305056","display_name":"Naoki Yamamoto","orcid":"https://orcid.org/0000-0003-1106-4491"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Naoki Yamamoto","raw_affiliation_strings":["Waseda University, Japan"],"affiliations":[{"raw_affiliation_string":"Waseda University, Japan","institution_ids":["https://openalex.org/I150744194"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089745488","display_name":"Kazunori Ueda","orcid":"https://orcid.org/0000-0002-3424-1844"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazunori Ueda","raw_affiliation_strings":["Waseda University, Japan"],"affiliations":[{"raw_affiliation_string":"Waseda University, Japan","institution_ids":["https://openalex.org/I150744194"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5004305056"],"corresponding_institution_ids":["https://openalex.org/I150744194"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12449472,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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.9986000061035156,"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/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7292441725730896},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.6958143711090088},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5664052367210388},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.5184566378593445},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5123456716537476},{"id":"https://openalex.org/keywords/pattern-matching","display_name":"Pattern matching","score":0.5097469687461853},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.46514832973480225},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40468159317970276},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.26335179805755615},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1618107557296753},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.08339399099349976},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07475367188453674},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.05235043168067932}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7292441725730896},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.6958143711090088},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5664052367210388},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.5184566378593445},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5123456716537476},{"id":"https://openalex.org/C68859911","wikidata":"https://www.wikidata.org/wiki/Q1503724","display_name":"Pattern matching","level":2,"score":0.5097469687461853},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46514832973480225},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40468159317970276},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.26335179805755615},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1618107557296753},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.08339399099349976},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07475367188453674},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.05235043168067932},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3678232.3678243","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3678232.3678243","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3678232.3678243","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3678232.3678243","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W189098335","https://openalex.org/W1480909796","https://openalex.org/W1498244333","https://openalex.org/W1508113248","https://openalex.org/W1527527487","https://openalex.org/W1527664624","https://openalex.org/W1551363247","https://openalex.org/W1551651413","https://openalex.org/W1557561422","https://openalex.org/W1603799276","https://openalex.org/W1986380853","https://openalex.org/W1993755151","https://openalex.org/W2024895705","https://openalex.org/W2070991879","https://openalex.org/W2079333278","https://openalex.org/W2137628566","https://openalex.org/W2137865376","https://openalex.org/W2154421030","https://openalex.org/W2157901438","https://openalex.org/W2293879310","https://openalex.org/W2295923951","https://openalex.org/W2442545619","https://openalex.org/W2727170348","https://openalex.org/W2899310982","https://openalex.org/W2901518892","https://openalex.org/W2912166712","https://openalex.org/W2913441074","https://openalex.org/W3017256047","https://openalex.org/W3100246300","https://openalex.org/W3201359580","https://openalex.org/W4205916380","https://openalex.org/W4313161785","https://openalex.org/W4320717526","https://openalex.org/W4394700691"],"related_works":["https://openalex.org/W1972035260","https://openalex.org/W4301594054","https://openalex.org/W2794488505","https://openalex.org/W3125889879","https://openalex.org/W3124422538","https://openalex.org/W2295467472","https://openalex.org/W2943461603","https://openalex.org/W3210429500","https://openalex.org/W3217252310","https://openalex.org/W4286894112"],"abstract_inverted_index":{"We":[0,114],"propose":[1,115],"to":[2,9,38,80,134,137],"extend":[3],"the":[4,39,44,47,160,174,179,189,202],"concept":[5,175],"of":[6,46,64,176],"difference":[7,16,139,167,177,182,206],"lists":[8,20],"general":[10],"data":[11,17,28,75,132,140,168,183,191],"structures":[12,76,101,129,169],"and":[13,58,72,92,103,158,205],"call":[14],"them":[15],"structures.":[18],"Difference":[19,74],"are":[21,53,185],"well-known":[22],"in":[23,85,94],"logic":[24,68],"programming":[25,86],"as":[26,41,43,60],"a":[27,36,61,67,95,110,116],"structure":[29,204,207],"that":[30,198],"realizes":[31],"constant-time":[32],"concatenation":[33],"by":[34,194],"retaining":[35],"reference":[37],"tail":[40],"well":[42],"head":[45],"list.":[48],"In":[49],"recent":[50],"years,":[51],"they":[52],"also":[54],"called":[55],"list":[56],"segments":[57],"appear":[59],"typical":[62],"example":[63],"separation":[65],"logic,":[66],"for":[69,119,142],"handling":[70],"heaps":[71],"pointers.":[73],"can":[77,150,162,200],"be":[78],"utilized":[79],"discuss":[81],"various":[82],"important":[83],"concepts":[84],"languages":[87,122],"including":[88],"functions,":[89],"evaluation":[90],"contexts,":[91],"continuations,":[93],"unified":[96],"setting.":[97],"To":[98],"handle":[99],"such":[100],"succinctly":[102],"safely,":[104],"we":[105,199],"base":[106,190,203],"this":[107],"work":[108],"on":[109,124,166],"graph":[111,120,125,195],"rewriting":[112,121],"language.":[113],"typing":[117],"method":[118,172],"based":[123],"grammar,":[126],"which":[127],"covers":[128],"beyond":[130],"algebraic":[131],"types,":[133],"allow":[135],"users":[136,149],"define":[138],"types":[141,184],"two":[143],"different":[144],"major":[145],"applications,":[146],"i.e.,":[147,181],"(i)":[148],"describe":[151],"powerful":[152],"pattern":[153],"matching":[154],"with":[155],"user-defined":[156],"shapes":[157],"(ii)":[159],"implementation":[161],"statically":[163],"type-check":[164],"operations":[165],"efficiently.":[170],"Our":[171],"introduces":[173],"at":[178],"meta-level,":[180],"automatically":[186],"derived":[187],"from":[188],"type":[192,210],"defined":[193],"grammar":[196],"so":[197],"treat":[201],"uniformly":[208],"without":[209],"conversion.":[211]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}