{"id":"https://openalex.org/W2962885085","doi":"https://doi.org/10.1017/s096012951600027x","title":"The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics","display_name":"The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics","publication_year":2016,"publication_date":"2016-10-24","ids":{"openalex":"https://openalex.org/W2962885085","doi":"https://doi.org/10.1017/s096012951600027x","mag":"2962885085"},"language":"en","primary_location":{"id":"doi:10.1017/s096012951600027x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012951600027x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","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/A5081721784","display_name":"Makoto Hamana","orcid":"https://orcid.org/0000-0002-3064-8225"},"institutions":[{"id":"https://openalex.org/I258063972","display_name":"Kiryu University","ror":"https://ror.org/02snehe53","country_code":"JP","type":"education","lineage":["https://openalex.org/I258063972"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"MAKOTO HAMANA","raw_affiliation_strings":["Department of Computer Science, Gunma University, Kiryu, Japan Email:","Gunma univ"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Gunma University, Kiryu, Japan Email:","institution_ids":["https://openalex.org/I258063972"]},{"raw_affiliation_string":"Gunma univ","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004575068","display_name":"Kazutaka Matsuda","orcid":"https://orcid.org/0000-0002-9747-4899"},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"KAZUTAKA MATSUDA","raw_affiliation_strings":["Graduate School of Information Sciences, Tohoku University, Sendai, Japan Email:","INF - Computer and Mathematical Sciences"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Sciences, Tohoku University, Sendai, Japan Email:","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"INF - Computer and Mathematical Sciences","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026592834","display_name":"Kazuyuki Asada","orcid":"https://orcid.org/0000-0001-8782-2119"},"institutions":[{"id":"https://openalex.org/I161296585","display_name":"Tokyo University of Science","ror":"https://ror.org/05sj3n476","country_code":"JP","type":"education","lineage":["https://openalex.org/I161296585"]},{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"KAZUYUKI ASADA","raw_affiliation_strings":["Department of Computer Science, University of Tokyo, Tokyo, Japan Email:","The University of Tokyo,"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Tokyo, Tokyo, Japan Email:","institution_ids":["https://openalex.org/I161296585"]},{"raw_affiliation_string":"The University of Tokyo,","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081721784"],"corresponding_institution_ids":["https://openalex.org/I258063972"],"apc_list":null,"apc_paid":null,"fwci":0.8834,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.86145615,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"28","issue":"2","first_page":"287","last_page":"337"},"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.9991999864578247,"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.9991999864578247,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987999796867371,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9968000054359436,"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/categorical-variable","display_name":"Categorical variable","score":0.6495506167411804},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6366187930107117},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.5872694253921509},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5701499581336975},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.5388972163200378},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5191530585289001},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4745643734931946},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4582142233848572},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.45587581396102905},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.43008890748023987},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3712005019187927},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31684261560440063}],"concepts":[{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.6495506167411804},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6366187930107117},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.5872694253921509},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5701499581336975},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5388972163200378},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5191530585289001},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4745643734931946},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4582142233848572},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.45587581396102905},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.43008890748023987},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3712005019187927},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31684261560440063},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s096012951600027x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012951600027x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G174929806","display_name":"\u7802\u9632\u30c0\u30e0\u306e\u8d8a\u6d41\u6c34\u8108\u306b\u95a2\u3059\u308b\u7814\u7a76","funder_award_id":"55400","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2155035233","display_name":"\u7d4c\u6e08\u72af\u7f6a\u306e\u5b9f\u614b\u4e26\u3073\u8a34\u8ffd\u51e6\u7f70\u4e0a\u306e\u554f\u984c\u70b9","funder_award_id":"20001","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2426280401","display_name":"Foundations of Dependable Datatypes by Dependent Types","funder_award_id":"24300001","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3459562248","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4657425800","display_name":null,"funder_award_id":"15H05","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G481884809","display_name":null,"funder_award_id":"15H057","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G482895326","display_name":"\u6838\u504f\u6975\u75282\u6bb5\u5f0fHe^3\u6eb6\u89e3\u6975\u4f4e\u6e29\u88c5\u7f6e","funder_award_id":"40002","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5767008485","display_name":"\u60c5\u5831\u51e6\u7406\u6559\u80b2\u306e\u305f\u3081\u306eCAI\u30b7\u30b9\u30c6\u30e0\u306e\u958b\u767a","funder_award_id":"540002","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5839679889","display_name":null,"funder_award_id":"15H05706","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5976796221","display_name":null,"funder_award_id":"15H0570","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7006592895","display_name":null,"funder_award_id":"23220001","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8430481527","display_name":null,"funder_award_id":"Number","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8689175723","display_name":null,"funder_award_id":"15K15966","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8701060899","display_name":"Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional Programs","funder_award_id":"25540002","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320335153","display_name":"Research Institute of Electrical Communication, Tohoku University","ror":"https://ror.org/01dq60k83"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":75,"referenced_works":["https://openalex.org/W16753864","https://openalex.org/W63499524","https://openalex.org/W195403090","https://openalex.org/W223002628","https://openalex.org/W258022877","https://openalex.org/W1503592937","https://openalex.org/W1503973138","https://openalex.org/W1507316189","https://openalex.org/W1508224656","https://openalex.org/W1512204407","https://openalex.org/W1522220541","https://openalex.org/W1542911159","https://openalex.org/W1547926009","https://openalex.org/W1583295953","https://openalex.org/W1605626978","https://openalex.org/W1714491813","https://openalex.org/W1908950999","https://openalex.org/W1918523847","https://openalex.org/W1967390724","https://openalex.org/W1967867598","https://openalex.org/W1969001723","https://openalex.org/W1970629906","https://openalex.org/W1972464717","https://openalex.org/W1977152005","https://openalex.org/W1998546360","https://openalex.org/W2004843654","https://openalex.org/W2011273500","https://openalex.org/W2040525745","https://openalex.org/W2043871010","https://openalex.org/W2046832714","https://openalex.org/W2049196128","https://openalex.org/W2049362364","https://openalex.org/W2057814731","https://openalex.org/W2064236106","https://openalex.org/W2075548256","https://openalex.org/W2095747698","https://openalex.org/W2101416179","https://openalex.org/W2102357532","https://openalex.org/W2105223068","https://openalex.org/W2116435685","https://openalex.org/W2118686544","https://openalex.org/W2120076632","https://openalex.org/W2120713972","https://openalex.org/W2125585193","https://openalex.org/W2136544532","https://openalex.org/W2139247070","https://openalex.org/W2149366752","https://openalex.org/W2149532506","https://openalex.org/W2150789072","https://openalex.org/W2151971764","https://openalex.org/W2158105805","https://openalex.org/W2161061431","https://openalex.org/W2168787391","https://openalex.org/W2169869634","https://openalex.org/W2260442344","https://openalex.org/W2324455841","https://openalex.org/W2332619083","https://openalex.org/W2479043907","https://openalex.org/W2484798659","https://openalex.org/W2681883877","https://openalex.org/W2914212232","https://openalex.org/W2949155565","https://openalex.org/W2949205883","https://openalex.org/W2951804534","https://openalex.org/W3102059473","https://openalex.org/W3104063683","https://openalex.org/W3106186045","https://openalex.org/W3141661292","https://openalex.org/W3146412812","https://openalex.org/W4212868911","https://openalex.org/W4230919050","https://openalex.org/W4234924236","https://openalex.org/W4241220941","https://openalex.org/W4244792373","https://openalex.org/W4246926559"],"related_works":["https://openalex.org/W1495872178","https://openalex.org/W1522712643","https://openalex.org/W2043781314","https://openalex.org/W2258712491","https://openalex.org/W155545005","https://openalex.org/W2153842012","https://openalex.org/W1032572692","https://openalex.org/W2100572643","https://openalex.org/W1603781856","https://openalex.org/W1603503062"],"abstract_inverted_index":{"The":[0],"aim":[1],"of":[2,10,20,44,106,114,124,135,138,154,162,166,182],"this":[3,98,115],"paper":[4,116],"is":[5,74,117,121,147],"to":[6,85,118,193],"provide":[7,158],"mathematical":[8],"foundations":[9],"a":[11,35,45,102,159,179],"graph":[12,36,70],"transformation":[13,71],"language,":[14],"called":[15,168],"UnCAL,":[16,64,136],"using":[17,108,173],"categorical":[18,109,133,175],"semantics":[19,134,153],"type":[21],"theory":[22],"and":[23,51,90,95,132],"fixed":[24],"points.":[25],"About":[26],"20":[27],"years":[28],"ago,":[29],"Buneman":[30],"et":[31],"al":[32],".":[33],"developed":[34],"database":[37],"query":[38],"language":[39,72],"UnQL":[40],"on":[41,171],"the":[42,55,122,145,150,163,186],"top":[43],"functional":[46,56,195],"meta-language":[47],"UnCAL":[48,87,107,167,183],"for":[49,76,92,149],"describing":[50],"manipulating":[52],"graphs.":[53],"Recently,":[54],"programming":[57],"community":[58],"has":[59],"shown":[60],"renewed":[61],"interest":[62,113],"in":[63,97],"because":[65],"it":[66],"provides":[67],"an":[68,129,190],"efficient":[69],"which":[73,139,188],"useful":[75],"various":[77],"applications,":[78,96],"such":[79],"as":[80],"bidirectional":[81],"computation.":[82],"In":[83],"order":[84],"make":[86],"more":[88,103],"flexible":[89],"fruitful":[91],"further":[93],"extensions":[94],"paper,":[99],"we":[100,127,157],"give":[101,128],"conceptual":[104],"understanding":[105],"semantics.":[110,176],"Our":[111],"general":[112],"clarify":[119],"what":[120],"algebra":[123],"UnCAL.":[125,155],"Thus,":[126],"equational":[130],"axiomatisation":[131,146],"both":[137],"are":[140],"new.":[141],"We":[142,177],"show":[143,178],"that":[144],"complete":[148],"original":[151],"bisimulation":[152],"Moreover,":[156],"clean":[160],"characterisation":[161],"computation":[164],"mechanism":[165],"\u2018structural":[169],"recursion":[170],"graphs\u2019":[172],"our":[174],"concrete":[180],"model":[181],"given":[184],"by":[185],"\u03bbG-calculus,":[187],"shows":[189],"interesting":[191],"connection":[192],"lazy":[194],"programming.":[196]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}