Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view complement functions. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 47–58) and Voigtländer (Voigt...
Uložené v:
| Vydané v: | Journal of functional programming Ročník 23; číslo 5; s. 515 - 551 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Cambridge, UK
Cambridge University Press
01.09.2013
|
| Predmet: | |
| ISSN: | 0956-7968, 1469-7653, 1469-7653 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view complement functions. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 47–58) and Voigtländer (Voigtländer, J. (2009) Bidirectionalization for free! In Proceedings of Principles of Programming Languages. ACM Press, pp. 165–176) have introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer, J., Hu, Z., Matsuda, K. & Wang, M. (2010) Combining syntactic and semantic bidirectionalization. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 181–192). Here we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. (2007) or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. |
|---|---|
| AbstractList | Matsuda et al. (2007) and Voigtländer (2009) have introduced two techniques that given a source+to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer et al. 2010). Here, we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view complement functions. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 47–58) and Voigtländer (Voigtländer, J. (2009) Bidirectionalization for free! In Proceedings of Principles of Programming Languages. ACM Press, pp. 165–176) have introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer, J., Hu, Z., Matsuda, K. & Wang, M. (2010) Combining syntactic and semantic bidirectionalization. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 181–192). Here we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. (2007) or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. Matsuda et al . (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view complement functions. In Proceedings of the International Conference on Functional Programming . ACM Press, pp. 47–58) and Voigtländer (Voigtländer, J. (2009) Bidirectionalization for free! In Proceedings of Principles of Programming Languages . ACM Press, pp. 165–176) have introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer, J., Hu, Z., Matsuda, K. & Wang, M. (2010) Combining syntactic and semantic bidirectionalization. In Proceedings of the International Conference on Functional Programming . ACM Press, pp. 181–192). Here we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al . (2007) or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. Abstract Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view complement functions. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 47-58) and Voigtländer (Voigtländer, J. (2009) Bidirectionalization for free! In Proceedings of Principles of Programming Languages. ACM Press, pp. 165-176) have introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer, J., Hu, Z., Matsuda, K. & Wang, M. (2010) Combining syntactic and semantic bidirectionalization. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 181-192). Here we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. (2007) or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. [PUBLICATION ABSTRACT] Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view complement functions. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 47-58) and Voigtlaender (Voigtlaender, J. (2009) Bidirectionalization for free! In Proceedings of Principles of Programming Languages. ACM Press, pp. 165-176) have introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtlaender, J., Hu, Z., Matsuda, K. & Wang, M. (2010) Combining syntactic and semantic bidirectionalization. In Proceedings of the International Conference on Functional Programming. ACM Press, pp. 181-192). Here we carry that idea further, reworking the technique of Voigtlaender such that any shape bidirectionalizer (based on the work of Matsuda et al. (2007) or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. |
| Author | HU, ZHENJIANG MATSUDA, KAZUTAKA VOIGTLÄNDER, JANIS WANG, MENG |
| Author_xml | – sequence: 1 givenname: JANIS surname: VOIGTLÄNDER fullname: VOIGTLÄNDER, JANIS email: jv@informatik.uni-bonn.de organization: University of Bonn, 53113 Bonn, Germany (e-mail: jv@informatik.uni-bonn.de) – sequence: 2 givenname: ZHENJIANG surname: HU fullname: HU, ZHENJIANG email: hu@nii.ac.jp organization: National Institute of Informatics, Tokyo 101-8430, Japan (e-mail: hu@nii.ac.jp) – sequence: 3 givenname: KAZUTAKA surname: MATSUDA fullname: MATSUDA, KAZUTAKA email: kztk@is.s.u-tokyo.ac.jp organization: University of Tokyo, Tokyo 113-0033, Japan (e-mail: kztk@is.s.u-tokyo.ac.jp) – sequence: 4 givenname: MENG surname: WANG fullname: WANG, MENG email: wmeng@chalmers.se organization: Chalmers University of Technology, 412 96 Gothenburg, Sweden (e-mail: wmeng@chalmers.se) |
| BackLink | https://research.chalmers.se/publication/182257$$DView record from Swedish Publication Index (Chalmers tekniska högskola) |
| BookMark | eNp9UU1r3DAQFSWBbpL-gN4MvfTiRrI0lnwsIf2AhR7SnMVInt1VsGVXslvaXx87m0LZ0l5GA--DpzcX7CwOkRh7Lfg7wYW-vuMN1LqpjZCc82W8YBuh6qbUNcgztlnhcsVfsoucHxaOqcBs2PY2HjD6EPdFph7jFHzhQhsS-SkMEbvwC9el-B6wyAcc6RSmVIzdvC9DzFfsfIddplfP7yW7_3D79eZTuf3y8fPN-23pQcJUCuCirVDteCM0GY0KsPWV1q12tTEkjWhQSKyFIq6VIU8NbwhM0zqPOyMv2d3RN_-gcXZ2TKHH9NMOGGyiTJj8wfoDdj2lbDNZAlBOgbIAglvVmso2UoBVSwnOAzio3OL69ug6puHbTHmyfcieug4jDXO2QmlYfHi9BnhzQn0Y5rTUsbKUgaqWRi0sfWT5NOScaGd9mJ7anBKGzi5R1tvZv263KMWJ8vcX_6eRzxrsXQrtnv4I9U_VI2cGq2E |
| CitedBy_id | crossref_primary_10_1016_j_jlamp_2016_04_002 crossref_primary_10_1016_j_ic_2018_02_011 crossref_primary_10_1016_j_scico_2014_07_008 crossref_primary_10_1007_s10703_023_00436_9 crossref_primary_10_1145_2858949_2784750 crossref_primary_10_1145_3485482 crossref_primary_10_1145_3158129 crossref_primary_10_1017_S0956796818000096 |
| Cites_doi | 10.1016/j.jlap.2006.11.001 10.1007/10720327_17 10.1007/978-3-642-13321-3_19 10.1145/319628.319634 10.1145/1232420.1232424 10.1017/S0956796809007291 10.1145/49346.50068 10.1007/s10990-008-9025-5 10.1016/j.scico.2012.07.014 10.1016/0304-3975(90)90147-A 10.1007/3-540-36576-1_2 10.1145/27629.214296 10.1016/0167-6423(95)00015-1 |
| ContentType | Journal Article |
| Copyright | Copyright © Cambridge University Press 2013 |
| Copyright_xml | – notice: Copyright © Cambridge University Press 2013 |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U ABBSD ADTPV AOWAS D8T F1S ZZAVC |
| DOI | 10.1017/S0956796813000130 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic SWEPUB Chalmers tekniska högskola full text SwePub SwePub Articles SWEPUB Freely available online SWEPUB Chalmers tekniska högskola SwePub Articles full text |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | CrossRef Computer Science Database Computer and Information Systems Abstracts |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| DocumentTitleAlternate | Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins J. Voigtländer et al. |
| EISSN | 1469-7653 |
| EndPage | 551 |
| ExternalDocumentID | oai_research_chalmers_se_e554b454_5510_4d82_9315_4825bc55b52b 3117887971 10_1017_S0956796813000130 |
| Genre | Feature |
| GroupedDBID | -1D -1F -2P -2V -E. -~6 -~N .DC .FH 09C 09E 0E1 0R~ 29K 3V. 4.4 5GY 5VS 6OB 6~7 74X 74Y 7~V 85S 8FE 8FG 8R4 8R5 9M5 AAAZR AABES AABWE AACJH AAFUK AAGFV AAKTX AAMNQ AANRG AARAB AASVR AATMM AAUIS AAUKB ABBXD ABBZL ABEFU ABITZ ABJNI ABKKG ABMWE ABQTM ABQWD ABROB ABTAH ABTCQ ABUWG ABVFV ABVKB ABVZP ABXAU ABZCX ABZUI ACAJB ACBMC ACDLN ACETC ACGFS ACIMK ACMRT ACRPL ACUIJ ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADKIL ADNMO ADOVH ADOVT ADVJH AEBAK AEBPU AEHGV AEMFK AEMTW AENCP AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFLOS AFLVW AFUTZ AFZFC AGABE AGBYD AGJUD AGLWM AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS AKZCZ ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ARZZG ATUCA AUXHV AYIQA AZQEC BBLKV BCGOX BENPR BESQT BGHMG BGLVJ BJBOZ BLZWO BMAJL BPHCQ BQFHP C0O CAG CBIIA CCPQU CCQAD CCTKK CCUQV CDIZJ CFAFE CFBFF CGQII CHEAL CJCSC COF CS3 D-I DC4 DOHLZ DU5 DWQXO EBS EGQIC EJD GNUQQ HCIFZ HG- HST I.6 I.7 I.9 IH6 IKXGN IOEEP IOO IPYYG IS6 I~P J36 J38 J3A JHPGK JQKCU K6V K7- KAFGG KCGVB KFECR L98 LHUNA LW7 M-V M0N M48 M7~ M8. NIKVX NMFBF NZEOI OK1 OYBOY P2P P62 PQQKQ PROAC PYCCK Q2X RAMDC RCA RIG ROL RR0 S6- S6U SAAAG T9M TWZ UT1 WFFJZ WQ3 WXU WYP YYM ZDLDU ZJOSE ZMEZD ZY4 ZYDXJ ~V1 AAKNA AAYXX ABGDZ ABXHF ACEJA AFFHD AGQPQ AKMAY AMVHM ANOYL CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U PUEGO ABBSD ADTPV AOWAS D8T F1S ZZAVC |
| ID | FETCH-LOGICAL-c535t-1501d2a4f0917e87a45adc277d7b688e3819a13a614e0748ece909e589dbcaf83 |
| IEDL.DBID | IKXGN |
| ISICitedReferencesCount | 13 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000326887800001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0956-7968 1469-7653 |
| IngestDate | Wed Nov 05 04:01:26 EST 2025 Wed Oct 01 12:35:10 EDT 2025 Sun Oct 26 23:50:05 EDT 2025 Sat Nov 29 05:36:59 EST 2025 Tue Nov 18 20:35:49 EST 2025 Tue Jan 21 06:25:32 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 5 |
| Language | English |
| License | https://www.cambridge.org/core/terms |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c535t-1501d2a4f0917e87a45adc277d7b688e3819a13a614e0748ece909e589dbcaf83 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| OpenAccessLink | https://research.chalmers.se/publication/182257 |
| PQID | 1448526384 |
| PQPubID | 37264 |
| PageCount | 37 |
| ParticipantIDs | swepub_primary_oai_research_chalmers_se_e554b454_5510_4d82_9315_4825bc55b52b proquest_miscellaneous_1475554068 proquest_journals_1448526384 crossref_citationtrail_10_1017_S0956796813000130 crossref_primary_10_1017_S0956796813000130 cambridge_journals_10_1017_S0956796813000130 |
| PublicationCentury | 2000 |
| PublicationDate | 2013-09-01 |
| PublicationDateYYYYMMDD | 2013-09-01 |
| PublicationDate_xml | – month: 09 year: 2013 text: 2013-09-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationTitle | Journal of functional programming |
| PublicationTitleAlternate | J. Funct. Prog |
| PublicationYear | 2013 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| References | Voigtländer (S0956796813000130_ref26) 2009 Bohannon (S0956796813000130_ref4) 2006 Matsuda (S0956796813000130_ref18) 2009; 26 S0956796813000130_ref9 S0956796813000130_ref6 Voigtländer (S0956796813000130_ref28) 2010 Voigtländer (S0956796813000130_ref27) 2012 Hidaka (S0956796813000130_ref13) 2010 Foster (S0956796813000130_ref8) 2008 Wadler (S0956796813000130_ref29) 1989 S0956796813000130_ref14 Peyton Jones (S0956796813000130_ref23) 2003 S0956796813000130_ref15 S0956796813000130_ref16 Bohannon (S0956796813000130_ref3) 2008 Pettorossi (S0956796813000130_ref22) 1977 S0956796813000130_ref32 S0956796813000130_ref10 S0956796813000130_ref11 S0956796813000130_ref12 Foster (S0956796813000130_ref7) 2012 S0956796813000130_ref30 Reynolds (S0956796813000130_ref24) 1983 Strachey (S0956796813000130_ref25) 2000; 13 Matsuda (S0956796813000130_ref17) 2007 Matsuda (S0956796813000130_ref19) 2013 Wadler (S0956796813000130_ref31) 1992 Czarnecki (S0956796813000130_ref5) 2009 Wang (S0956796813000130_ref33) 2011 S0956796813000130_ref2 S0956796813000130_ref1 Pacheco (S0956796813000130_ref21) 2012; 49 S0956796813000130_ref20 |
| References_xml | – ident: S0956796813000130_ref11 doi: 10.1016/j.jlap.2006.11.001 – start-page: 1 volume-title: Revised Lectures of Spring School on Generic and Indexed Programming 2010 year: 2012 ident: S0956796813000130_ref7 – start-page: 39 volume-title: Proceedings of Partial Evaluation and Program Manipulation year: 2012 ident: S0956796813000130_ref27 – start-page: 392 volume-title: Proceedings of the International Conference on Functional Programming year: 2011 ident: S0956796813000130_ref33 – start-page: 297 volume-title: Proceedings of Principles and Practice of Declarative Programming year: 2013 ident: S0956796813000130_ref19 – start-page: 347 volume-title: Proceedings of Functional Programming Languages and Computer Architecture year: 1989 ident: S0956796813000130_ref29 – start-page: 47 volume-title: Proceedings of the International Conference on Functional Programming year: 2007 ident: S0956796813000130_ref17 – volume-title: Haskell 98 Language and Libraries: The Revised Report year: 2003 ident: S0956796813000130_ref23 – start-page: 205 volume-title: Proceedings of the International Conference on Functional Programming year: 2010 ident: S0956796813000130_ref13 – start-page: 181 volume-title: Proceedings of the International Conference on Functional Programming year: 2010 ident: S0956796813000130_ref28 – volume: 49 year: 2012 ident: S0956796813000130_ref21 article-title: Delta lenses over inductive types publication-title: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. – ident: S0956796813000130_ref10 doi: 10.1007/10720327_17 – start-page: 513 volume-title: Proceedings of Information Processing year: 1983 ident: S0956796813000130_ref24 – start-page: 1 volume-title: Proceedings of Principles of Programming Languages year: 1992 ident: S0956796813000130_ref31 – ident: S0956796813000130_ref20 doi: 10.1007/978-3-642-13321-3_19 – volume: 13 start-page: 11 year: 2000 ident: S0956796813000130_ref25 article-title: Fundamental Concepts in Programming Languages publication-title: Lecture notes for a course at the International Summer School in Computer Programming, 1967. Reprint appeared in Higher-Order Symb. Comput. – ident: S0956796813000130_ref2 doi: 10.1145/319628.319634 – ident: S0956796813000130_ref6 doi: 10.1145/1232420.1232424 – ident: S0956796813000130_ref9 doi: 10.1017/S0956796809007291 – ident: S0956796813000130_ref12 doi: 10.1145/49346.50068 – ident: S0956796813000130_ref14 doi: 10.1007/s10990-008-9025-5 – start-page: 1 volume-title: Proceedings of Informatica 77 year: 1977 ident: S0956796813000130_ref22 – start-page: 165 volume-title: Proceedings of Principles of Programming Languages year: 2009 ident: S0956796813000130_ref26 – start-page: 407 volume-title: Proceedings of Principles of Programming Languages year: 2008 ident: S0956796813000130_ref3 – ident: S0956796813000130_ref32 doi: 10.1016/j.scico.2012.07.014 – volume: 26 start-page: 56 year: 2009 ident: S0956796813000130_ref18 article-title: Bidirectionalizing programs with duplication through complementary function derivation. publication-title: Comput. Softw. – ident: S0956796813000130_ref30 doi: 10.1016/0304-3975(90)90147-A – start-page: 383 volume-title: Proceedings of the International Conference on Functional Programming year: 2008 ident: S0956796813000130_ref8 – ident: S0956796813000130_ref1 doi: 10.1007/3-540-36576-1_2 – ident: S0956796813000130_ref16 doi: 10.1145/27629.214296 – ident: S0956796813000130_ref15 doi: 10.1016/0167-6423(95)00015-1 – start-page: 260 volume-title: Proceedings of the International Conference on Model Transformation year: 2009 ident: S0956796813000130_ref5 – start-page: 338 volume-title: Proceedings of Principles of Database Systems year: 2006 ident: S0956796813000130_ref4 |
| SSID | ssj0008258 |
| Score | 2.0554593 |
| Snippet | Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view... Matsuda et al . (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of view... Abstract Matsuda et al. (Matsuda, K., Hu, Z., Nakano, K., Hamana, M. & Takeichi, M. (2007) Bidirectionalization transformation based on automatic derivation of... Matsuda et al. (2007) and Voigtländer (2009) have introduced two techniques that given a source+to-view function provide an update propagation function mapping... |
| SourceID | swepub proquest crossref cambridge |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 515 |
| SubjectTerms | Complement Lenses Relational Views Transformations Update Semantics |
| SummonAdditionalLinks | – databaseName: Computer Science Database dbid: K7- link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LT9wwELZ49MCl0Je6La2C1FNVq9nYXk9OqKpAHBDiABI3y48JG4lmt2SX399x4kRbKu2lVz8Sx_PwZ4_zDWNfSnJ5ClzFK1Q5lz76QQmCCxfQgpAo8z7ZhL66gru78joduLXpWuXgEztHHRY-npF_J-APqiBtkafL3zxmjYrR1ZRCY5ftTwtywjEoq_noiWn3AwPXni5nMEQ1O8poKoxlMZwTo3eb3Ap_r1EbwHOTTLRbgM4P_3foR-xlgp7Zj15XXrEdbF6zwyGtQ5as_A27PGvmkYWjuc9a_EUzX_vM1f3a1x0cpl83s6faZu3cLvF5NT1t-bC-53XTvmW352c3Py94SrrAvRJqxQkgTkNhZUVAQiNoK5UNvtA6aDcDwLjDs1NhaVlHgh-AHsu8RAVlcN5WIN6xvWbR4HuWgQMMhaNPjzjBgUWpgxe5FcrnlSwn7Ns45SaZTmv6a2fa_COhCcsHqRifCMxjHo2HbV2-jl2WPXvHtsbHg_g2RjPKbsJOxmoywRhXsQ0u1rGNVoTK8hlM2GWvIuPbInt3om2aGz_vcuK0pkWD1MNJJQ1B1tzIAIUpxVQZSUrrvFI0be7D9hF9ZAdFl5wj3ng7ZnurxzV-Yi_806puHz93pvAHAkkLgw priority: 102 providerName: ProQuest |
| Title | Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins |
| URI | https://www.cambridge.org/core/product/identifier/S0956796813000130/type/journal_article https://www.proquest.com/docview/1448526384 https://www.proquest.com/docview/1475554068 https://research.chalmers.se/publication/182257 |
| Volume | 23 |
| WOSCitedRecordID | wos000326887800001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAEN databaseName: Cambridge University Open Access customDbUrl: eissn: 1469-7653 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0008258 issn: 1469-7653 databaseCode: IKXGN dateStart: 19910101 isFulltext: true titleUrlDefault: http://journals.cambridge.org/action/login providerName: Cambridge University Press – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1469-7653 dateEnd: 20241214 omitProxy: false ssIdentifier: ssj0008258 issn: 1469-7653 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1469-7653 dateEnd: 20241214 omitProxy: false ssIdentifier: ssj0008258 issn: 1469-7653 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1469-7653 dateEnd: 20241214 omitProxy: false ssIdentifier: ssj0008258 issn: 1469-7653 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Nb9MwFH_aVg5cGJ-ibFRB4oSImsZ27RwBdYA2VRUfUsXFsp2XNdLIqqbd37_nxInKkCZx4JJD_JH42X7-2e_59wDeZqTyhLJFXKBIYu68HuSKxczmaBTjyJM22IScz9VymS0OYNndhfFulT3HQWPJb-KjrVv603GZtz40uBl_9xR6Mpsqb5Dx9rexP7Qchy7QQfCHMCAEk9KUHXw9X36e91qadkaq4-HztXQWz4ZO-k7N-7wLf65fe6B0n2i0WZzOjv9fsx7DowBYow_tmydwgNVTOO6CQURBNzyDi1m18twd1WVU42_qr9JFtmxXzOa4MVz4jG5KE9Urs8a7yVTb-mp3GZdV_Rx-ns1-fPoSh1ANsRNMbGOClZM8Nbwg-CFRScOFyV0qZS7tVCn0-0IzYYbAABJoUegwSzIUKsutM4ViL-Couq7wJUTKKsxTK9KpRxdWGeQydywxTLik4NkQ3veS1EEstW6d1aT-S3xDSLr-0i7QnvvoG1f3FXnXF1m3nB_3ZT7tBsHe39CmlxrAFB_Cmz6ZJq63xpgKr3c-jxSE5ZKpGsJFO3j6r3nO70D2tNJu1UTSqXWNGqmE5YJrArqJ5rlKdcYmQnMaztYJQWKzr_5NQCfwMG1CfHi_uVM42m52-BoeuJttWW9GMPg4my--jcL0GcHhuYzpuRC_bgHnSiW3 |
| linkProvider | Cambridge University Press |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LbxMxEB6VFAkulKcItLBIcEGsulnbsfdQVQVStWqIKlSk3oztnW1WKpvQTYr4U_xGxvtSACm3Hrj6tV7788zYY38D8DohkSeUzcIMRRRy5-UgVyxkNkWjGEce1cEm5GSizs-T0w341b6F8dcqW5lYCep05vwZ-S4Z_krEhBa-P_8e-qhR3rvahtCoYXGCP3_Qlq3cO_5I8_smjg9HZx-OwiaqQOgEE4uQLKBBGhuekaaUqKThwqQuljKVdqgU-i2MGTBDegtJvyp0mEQJCpWk1plMMWr3FmxyxoeiB5vvR5PTz53sp_2Watn9ZDJUrR-1IqmmRJ_mHUjeX7jK5vCnVlwxdVfpSyuVd7j1vw3WfbjXGNfBQb0aHsAGFg9hqw1cETRy7BGMR8XU84wUF0GJ3whbuQtsXmv36mi0eZwaXOcmKKdmjn9nU2vzy-VFmBflY_hyI__0BHrFrMCnECirMI0tDbW3hKwyyGXqWGSYcFHGkz6866ZYN8Kh1PXFOqn_QUQfohYF2jUU7T5SyOW6Km-7KvOan2Rd4e0WLiu96bDSh1ddNgkZ7zkyBc6WvowUZHdGQ9WHcQ3J7muen7whpppqN62i_pS6RI1Uw3LBNRnlkeapinXCBkJzWiTWCUHDZp-t79FLuHN09mmsx8eTk-dwN65Ckfj7fdvQW1wtcQduu-tFXl69aBZiAF9vGs6_AeIeaWc |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Enhancing+semantic+bidirectionalization+via+shape+bidirectionalizer+plug-ins&rft.jtitle=Journal+of+functional+programming&rft.au=VOIGTL%C3%84NDER%2C+JANIS&rft.au=HU%2C+ZHENJIANG&rft.au=MATSUDA%2C+KAZUTAKA&rft.au=WANG%2C+MENG&rft.date=2013-09-01&rft.pub=Cambridge+University+Press&rft.issn=0956-7968&rft.eissn=1469-7653&rft.volume=23&rft.issue=5&rft.spage=515&rft.epage=551&rft_id=info:doi/10.1017%2FS0956796813000130&rft.externalDocID=10_1017_S0956796813000130 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0956-7968&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0956-7968&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0956-7968&client=summon |