{"id":"https://openalex.org/W2058338955","doi":"https://doi.org/10.1017/s0956796813000130","title":"Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins","display_name":"Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W2058338955","doi":"https://doi.org/10.1017/s0956796813000130","mag":"2058338955"},"language":"en","primary_location":{"id":"doi:10.1017/s0956796813000130","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796813000130","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C8569C350E608F454B02EA7A4EE42E82/S0956796813000130a.pdf/div-class-title-enhancing-semantic-bidirectionalization-via-shape-bidirectionalizer-plug-ins-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"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":"Journal of Functional Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C8569C350E608F454B02EA7A4EE42E82/S0956796813000130a.pdf/div-class-title-enhancing-semantic-bidirectionalization-via-shape-bidirectionalizer-plug-ins-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026029995","display_name":"Janis Voigtl\u00e4nder","orcid":"https://orcid.org/0009-0001-2411-9909"},"institutions":[{"id":"https://openalex.org/I135140700","display_name":"University of Bonn","ror":"https://ror.org/041nas322","country_code":"DE","type":"education","lineage":["https://openalex.org/I135140700"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"JANIS VOIGTL\u00c4NDER","raw_affiliation_strings":["University of Bonn, 53113 Bonn, Germany (e-mail:","University of Bonn"],"affiliations":[{"raw_affiliation_string":"University of Bonn, 53113 Bonn, Germany (e-mail:","institution_ids":["https://openalex.org/I135140700"]},{"raw_affiliation_string":"University of Bonn","institution_ids":["https://openalex.org/I135140700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102717988","display_name":"Zhenjiang Hu","orcid":"https://orcid.org/0000-0002-9034-205X"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"ZHENJIANG HU","raw_affiliation_strings":["National Institute of Informatics, Tokyo 101-8430, Japan (e-mail:","National Institute of Informatics,"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo 101-8430, Japan (e-mail:","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"National Institute of Informatics,","institution_ids":["https://openalex.org/I184597095"]}]},{"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/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]},{"id":"https://openalex.org/I185088104","display_name":"Tokyo City University","ror":"https://ror.org/04dt6bw53","country_code":"JP","type":"education","lineage":["https://openalex.org/I185088104"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"KAZUTAKA MATSUDA","raw_affiliation_strings":["University of Tokyo, Tokyo 113-0033, Japan (e-mail:","University of Tokyo, Tokyo, 113-0033, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo 113-0033, Japan (e-mail:","institution_ids":["https://openalex.org/I185088104"]},{"raw_affiliation_string":"University of Tokyo, Tokyo, 113-0033, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"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/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"MENG WANG","raw_affiliation_strings":["Chalmers University of Technology, 412 96 Gothenburg, Sweden (e-mail:","Chalmers University of Technology;"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, 412 96 Gothenburg, Sweden (e-mail:","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Chalmers University of Technology;","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5026029995"],"corresponding_institution_ids":["https://openalex.org/I135140700"],"apc_list":null,"apc_paid":null,"fwci":3.954,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.93694731,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"23","issue":"5","first_page":"515","last_page":"551"},"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.9997000098228455,"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.9997000098228455,"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.9954000115394592,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9934999942779541,"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.7843874096870422},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.6456760168075562},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5801499485969543},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5680451989173889},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5444390177726746},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.5353081226348877},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5022234916687012},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4896836578845978},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.48584362864494324},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3233436048030853},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24788197875022888}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7843874096870422},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.6456760168075562},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5801499485969543},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5680451989173889},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5444390177726746},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.5353081226348877},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5022234916687012},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4896836578845978},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.48584362864494324},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3233436048030853},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24788197875022888},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1017/s0956796813000130","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796813000130","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C8569C350E608F454B02EA7A4EE42E82/S0956796813000130a.pdf/div-class-title-enhancing-semantic-bidirectionalization-via-shape-bidirectionalizer-plug-ins-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"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":"Journal of Functional Programming","raw_type":"journal-article"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/72dde6c8-d795-44a5-b629-5a3171e34e5c","is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/72dde6c8-d795-44a5-b629-5a3171e34e5c","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Voigtl\u00e4nder, J, Hu, Z, Matsuda, K & Wang, M 2013, 'Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins', Journal of Functional Programming, vol. 23, no. 5. https://doi.org/10.1017/S0956796813000130","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:kar.kent.ac.uk:47481","is_oa":false,"landing_page_url":"https://doi.org/10.1017/S0956796813000130>)","pdf_url":null,"source":{"id":"https://openalex.org/S4377196264","display_name":"Kent Academic Repository (University of Kent)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I20581793","host_organization_name":"University of Kent","host_organization_lineage":["https://openalex.org/I20581793"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:publications.lib.chalmers.se:182257","is_oa":false,"landing_page_url":"http://publications.lib.chalmers.se/publication/182257-enhancing-semantic-bidirectionalization-via-shape-bidirectionalizer-plug-ins","pdf_url":null,"source":{"id":"https://openalex.org/S4377196470","display_name":"Chalmers Publication Library (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text.Article.Journal.PeerReviewed"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/72dde6c8-d795-44a5-b629-5a3171e34e5c","is_oa":false,"landing_page_url":"https://hdl.handle.net/1983/72dde6c8-d795-44a5-b629-5a3171e34e5c","pdf_url":null,"source":{"id":"https://openalex.org/S7407055359","display_name":"Explore Bristol Research","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Voigtl\u00e4nder, J, Hu, Z, Matsuda, K & Wang, M 2013, 'Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins', Journal of Functional Programming, vol. 23, no. 5. https://doi.org/10.1017/S0956796813000130","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.chalmers.se:182257","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/182257","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1017/s0956796813000130","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0956796813000130","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C8569C350E608F454B02EA7A4EE42E82/S0956796813000130a.pdf/div-class-title-enhancing-semantic-bidirectionalization-via-shape-bidirectionalizer-plug-ins-div.pdf","source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"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":"Journal of Functional Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4000000059604645}],"awards":[{"id":"https://openalex.org/G1069223013","display_name":null,"funder_award_id":"JSPS KAKENHI","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2854736489","display_name":"\u8089\u773c\u89e3\u5256\u5b66\u4e26\u3073\u306b\u767a\u751f\u5b66\u6307\u5c0e\u7528\u306e\u30ab\u30e9\u30fc\u30c6\u30ec\u30d3, \u30ab\u30e1\u30e9\u53ca\u3073\u30ab\u30e9\u30fc\u30d3\u30c7\u30aa, \u30c6\u30fc\u30d7\u30ec\u30b3\u30fc\u30c0\u30fc\u306e\u958b\u767a\u3068\u30d3\u30c7\u30aa\u30c6\u30fc\u30d7\u306e\u88fd\u4f5c","funder_award_id":"470002","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4636223006","display_name":null,"funder_award_id":"JSPS KAK","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5338727095","display_name":"\u8089\u773c\u89e3\u5256\u5b66\u4e26\u3073\u306b\u767a\u751f\u5b66\u6307\u5c0e\u7528\u306e\u30ab\u30e9\u30fc\u30c6\u30ec\u30d3, \u30d3\u30c7\u30aa\u30b3\u30fc\u30c0\u30fc\u306e\u958b\u767a\u3068\u30d3\u30c7\u30aa\u30c6\u30fc\u30d7\u306e\u88fd\u4f5c","funder_award_id":"70002","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6797270576","display_name":"Grammar-based Approach to Program Bidirectionalization","funder_award_id":"22800003","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8766025622","display_name":null,"funder_award_id":"24700020","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"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2058338955.pdf","grobid_xml":"https://content.openalex.org/works/W2058338955.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W147667397","https://openalex.org/W326743114","https://openalex.org/W1520174560","https://openalex.org/W1555897920","https://openalex.org/W1556536463","https://openalex.org/W1560650189","https://openalex.org/W1598022760","https://openalex.org/W1968796785","https://openalex.org/W1985223393","https://openalex.org/W1991542909","https://openalex.org/W2000616678","https://openalex.org/W2001623199","https://openalex.org/W2009259962","https://openalex.org/W2010019177","https://openalex.org/W2019746614","https://openalex.org/W2046832714","https://openalex.org/W2057292961","https://openalex.org/W2079761730","https://openalex.org/W2089817457","https://openalex.org/W2099594328","https://openalex.org/W2105427466","https://openalex.org/W2113582770","https://openalex.org/W2121357705","https://openalex.org/W2125703421","https://openalex.org/W2127382014","https://openalex.org/W2141789124","https://openalex.org/W2146462464","https://openalex.org/W2151592950","https://openalex.org/W2173780645","https://openalex.org/W2208923056","https://openalex.org/W2294798463","https://openalex.org/W2911967380","https://openalex.org/W3156137561","https://openalex.org/W3157787941","https://openalex.org/W4285719527","https://openalex.org/W6674737375","https://openalex.org/W6794613220"],"related_works":["https://openalex.org/W4287378204","https://openalex.org/W2981957539","https://openalex.org/W47352601","https://openalex.org/W2545422590","https://openalex.org/W4240705470","https://openalex.org/W2945311252","https://openalex.org/W631546281","https://openalex.org/W4213354039","https://openalex.org/W2266220644","https://openalex.org/W88292646"],"abstract_inverted_index":{"Abstract":[0],"Matsuda":[1,161],"et":[2,162],"al":[3,163],".":[4,36,56,135,164],"(Matsuda,":[5],"K.,":[6,10],"Hu,":[7,113],"Z.,":[8,114],"Nakano,":[9],"Hamana,":[11],"M.":[12,15,119],"&":[13,117],"Takeichi,":[14],"(2007)":[16,165],"Bidirectionalization":[17,46],"transformation":[18],"based":[19,102],"on":[20,33,103,132,157],"automatic":[21],"derivation":[22],"of":[23,29,51,53,98,106,128,149,160,189],"view":[24,82],"complement":[25],"functions.":[26],"In":[27,49,126],"Proceedings":[28,50,127],"the":[30,99,129,147,158,187],"International":[31,130],"Conference":[32,131],"Functional":[34,133],"Programming":[35,54,134],"ACM":[37,57,136],"Press,":[38,58,137],"pp.":[39,59,138],"47\u201358)":[40],"and":[41,79,108,123],"Voigtl\u00e4nder":[42,150],"(Voigtl\u00e4nder,":[43,111],"J.":[44],"(2009)":[45],"for":[47],"free!":[48],"Principles":[52],"Languages":[55],"165\u2013176)":[60],"have":[61],"introduced":[62],"two":[63,100],"techniques":[64],"that":[65,143,152],"given":[66],"a":[67,96,104,172,180,194],"source-to-view":[68],"function":[69,74],"provide":[70,179],"an":[71,76,80,85],"update":[72],"propagation":[73],"mapping":[75],"original":[77],"source":[78],"updated":[81,86],"back":[83],"to":[84,89,174],"source,":[87],"subject":[88],"standard":[90],"consistency":[91],"conditions.":[92],"Previously,":[93],"we":[94,141],"developed":[95],"synthesis":[97],"techniques,":[101],"separation":[105],"shape":[107,154],"content":[109],"aspects":[110],"J.,":[112],"Matsuda,":[115],"K.":[116],"Wang,":[118],"(2010)":[120],"Combining":[121],"syntactic":[122],"semantic":[124],"bidirectionalization.":[125],"181\u2013192).":[139],"Here":[140],"carry":[142],"idea":[144],"further,":[145],"reworking":[146],"technique":[148],"such":[151],"any":[153],"bidirectionalizer":[155],"(based":[156],"work":[159],"or":[166],"not)":[167],"can":[168],"be":[169],"used":[170],"as":[171,193],"plug-in,":[173],"good":[175],"effect.":[176],"We":[177],"also":[178],"data-type-generic":[181],"account,":[182],"enabling":[183],"wider":[184],"reuse,":[185],"including":[186],"use":[188],"pluggable":[190],"bidirectionalization":[191],"itself":[192],"plug-in.":[195]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":3}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}