{"id":"https://openalex.org/W4393955100","doi":"https://doi.org/10.1007/978-3-031-57267-8_3","title":"Reconciling Partial and Local Invertibility","display_name":"Reconciling Partial and Local Invertibility","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393955100","doi":"https://doi.org/10.1007/978-3-031-57267-8_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57267-8_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5095658375","display_name":"Anders \u00c5gren Thun\u00e9","orcid":"https://orcid.org/0009-0008-0847-5373"},"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"]},{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["JP","SE"],"is_corresponding":false,"raw_author_name":"Anders \u00c5gren Thun\u00e9","raw_affiliation_strings":["KTH Royal Institute of Technology, 100 44, Stockholm, Sweden","Tohoku University, Aramaki Aza-aoba 6-3-09, Aoba-ku, Sendai, 980-8579, Japan"],"raw_orcid":"https://orcid.org/0009-0008-0847-5373","affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology, 100 44, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Tohoku University, Aramaki Aza-aoba 6-3-09, Aoba-ku, Sendai, 980-8579, Japan","institution_ids":["https://openalex.org/I201537933"]}]},{"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":true,"raw_author_name":"Kazutaka Matsuda","raw_affiliation_strings":["Tohoku University, Aramaki Aza-aoba 6-3-09, Aoba-ku, Sendai, 980-8579, Japan"],"raw_orcid":"https://orcid.org/0000-0002-9747-4899","affiliations":[{"raw_affiliation_string":"Tohoku University, Aramaki Aza-aoba 6-3-09, Aoba-ku, Sendai, 980-8579, Japan","institution_ids":["https://openalex.org/I201537933"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074307489","display_name":"Meng Wang","orcid":"https://orcid.org/0000-0001-7780-630X"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Meng Wang","raw_affiliation_strings":["University of Bristol, Bristol, BS8 1TH, UK"],"raw_orcid":"https://orcid.org/0000-0001-7780-630X","affiliations":[{"raw_affiliation_string":"University of Bristol, Bristol, BS8 1TH, UK","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004575068"],"corresponding_institution_ids":["https://openalex.org/I201537933"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10213123,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"59","last_page":"89"},"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.9998000264167786,"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9933000206947327,"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/computer-science","display_name":"Computer science","score":0.7312343716621399}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7312343716621399}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-57267-8_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire/0c939978-1c70-481b-8c7c-6f6bba71af18","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/0c939978-1c70-481b-8c7c-6f6bba71af18","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Thun\u00e9, A \u00c5, Matsuda, K & Wang, M 2024, Reconciling Partial and Local Invertibility. in S Weirich (ed.), Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6\u201311, 2024, Proceedings, Part I. Lecture Notes in Computer Science (LNCS), Springer, Cham, Switzerland, pp. 59-89. https://doi.org/10.1007/978-3-031-57267-8_3","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/0c939978-1c70-481b-8c7c-6f6bba71af18","is_oa":true,"landing_page_url":"https://hdl.handle.net/1983/0c939978-1c70-481b-8c7c-6f6bba71af18","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Thun\u00e9, A \u00c5, Matsuda, K & Wang, M 2024, Reconciling Partial and Local Invertibility. in S Weirich (ed.), Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6\u201311, 2024, Proceedings, Part I. Lecture Notes in Computer Science (LNCS), Springer, Cham, Switzerland, pp. 59-89. https://doi.org/10.1007/978-3-031-57267-8_3","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57267-8_3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8_3","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_3.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3892558182","display_name":"EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations","funder_award_id":"EP/T008911/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7583192215","display_name":null,"funder_award_id":"EP/T008911/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320327344","display_name":"Marcus och Amalia Wallenbergs minnesfond","ror":"https://ror.org/024f3s581"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393955100.pdf"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W1470114689","https://openalex.org/W1499136777","https://openalex.org/W1529830543","https://openalex.org/W1540138108","https://openalex.org/W1592460780","https://openalex.org/W1884126869","https://openalex.org/W1972376146","https://openalex.org/W1973667838","https://openalex.org/W1992085465","https://openalex.org/W1997143185","https://openalex.org/W2000616678","https://openalex.org/W2015392385","https://openalex.org/W2029408547","https://openalex.org/W2064138295","https://openalex.org/W2073378225","https://openalex.org/W2084000566","https://openalex.org/W2092546644","https://openalex.org/W2105259569","https://openalex.org/W2106742806","https://openalex.org/W2115810994","https://openalex.org/W2116508343","https://openalex.org/W2118351936","https://openalex.org/W2125713144","https://openalex.org/W2127114597","https://openalex.org/W2128992690","https://openalex.org/W2136765833","https://openalex.org/W2166229534","https://openalex.org/W2681883877","https://openalex.org/W2766220735","https://openalex.org/W2796830478","https://openalex.org/W2797773006","https://openalex.org/W2804017277","https://openalex.org/W2885852056","https://openalex.org/W2888402443","https://openalex.org/W2925654996","https://openalex.org/W3018857170","https://openalex.org/W3047089539","https://openalex.org/W3089106052","https://openalex.org/W3114657538","https://openalex.org/W3150082626","https://openalex.org/W4205887982","https://openalex.org/W4231368424","https://openalex.org/W4233798822","https://openalex.org/W4243125208","https://openalex.org/W4249267162","https://openalex.org/W4297644234","https://openalex.org/W4386317173","https://openalex.org/W4391259573","https://openalex.org/W4412267756"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Abstract":[0],"Invertible":[1],"programming":[2,22],"languages":[3,23],"specify":[4],"transformations":[5],"to":[6,50,65,89,108,133,184],"be":[7,36,51],"run":[8],"in":[9,20,212,220],"two":[10,176],"directions,":[11],"such":[12,67],"as":[13,68,169],"compression/decompression":[14],"or":[15],"encryption/decryption.":[16],"Two":[17],"key":[18,163],"concepts":[19],"invertible":[21,34,103,113,126,138,171],"are":[24,218],"partial":[25,84,167,204],"invertibility":[26,29,32,46,91,168],"and":[27,71,105,130,178,205],"local":[28,45,90,206],".":[30],"Partial":[31],"lets":[33],"code":[35,49],"parameterized":[37],"by":[38,122,182],"the":[39,61,87,117,120,124,141,175,213],"results":[40],"of":[41,83,119],"non-invertible":[42],"code,":[43],"whereas":[44],"requires":[47],"all":[48],"invertible.":[52],"The":[53],"former":[54],"allows":[55],"for":[56,101],"more":[57],"flexible":[58],"programming,":[59,104],"while":[60],"latter":[62],"has":[63],"connections":[64],"domains":[66],"low-energy":[69],"computing":[70],"quantum":[72],"computing.":[73],"We":[74,115],"find":[75],"that":[76],"existing":[77],"approaches":[78],"lack":[79],"a":[80,111,136],"satisfying":[81],"treatment":[82],"invertibility,":[85,207],"leaving":[86],"connection":[88],"unclear.":[92],"In":[93],"this":[94],"paper,":[95],"we":[96,202],"identify":[97],"four":[98],"core":[99],"constructs":[100,121],"partially":[102],"show":[106,116,131],"how":[107,132],"give":[109,134],"them":[110,135],"locally":[112,137],"interpretation.":[114],"expressiveness":[118],"designing":[123],"functional":[125],"language":[127,145],"Kalpis":[128,180],",":[129,201],"semantics":[139,181],"using":[140],"novel":[142],"arrow":[143],"combinator":[144],"$$\\textsc":[146,185],"{rrArr}$$":[147,186],"<mml:math":[148,187],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[149,188],"<mml:mrow>":[150,189],"<mml:mstyle>":[151,156,190,195],"<mml:mi>R</mml:mi>":[152,153,157,158,191,192,196,197],"</mml:mstyle>":[154,159,193,198],"<mml:mi>A</mml:mi>":[155,194],"</mml:mrow>":[160,199],"</mml:math>":[161,200],"\u2014the":[162],"idea":[164],"is":[165],"viewing":[166],"an":[170,209],"effect.":[172],"By":[173],"formalizing":[174],"systems":[177],"giving":[179],"translation":[183],"reconcile":[203],"solving":[208],"open":[210],"problem":[211],"field.":[214],"All":[215],"formal":[216],"developments":[217],"mechanized":[219],"Agda.":[221]},"counts_by_year":[],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}