default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kazutaka Matsuda
@article{DBLP:journals/jfp/MatsudaW24,
author = {Kazutaka Matsuda and
Meng Wang},
title = {Sparcl: {A} language for partially invertible computation},
journal = {J. Funct. Program.},
volume = {34},
year = {2024},
url = {https://doi.org/10.1017/s0956796823000126},
doi = {10.1017/S0956796823000126},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/MatsudaW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ThuneMW24,
author = {Anders {\AA}gren Thun{\'{e}} and
Kazutaka Matsuda and
Meng Wang},
editor = {Stephanie Weirich},
title = {Reconciling Partial and Local Invertibility},
booktitle = {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-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14577},
pages = {59--89},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57267-8\_3},
doi = {10.1007/978-3-031-57267-8\_3},
timestamp = {Sat, 08 Jun 2024 13:13:57 +0200},
biburl = {https://dblp.org/rec/conf/esop/ThuneMW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MatsudaFWW23,
author = {Kazutaka Matsuda and
Samantha Frohlich and
Meng Wang and
Nicolas Wu},
title = {Embedding by Unembedding},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {1--47},
year = {2023},
url = {https://doi.org/10.1145/3607830},
doi = {10.1145/3607830},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MatsudaFWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/YamaguchiMDW22,
author = {Masaomi Yamaguchi and
Kazutaka Matsuda and
Cristina David and
Meng Wang},
title = {Synbit: synthesizing bidirectional programs using unidirectional sketches},
journal = {Formal Methods Syst. Des.},
volume = {61},
number = {2},
pages = {198--247},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00436-9},
doi = {10.1007/S10703-023-00436-9},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/YamaguchiMDW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/YamaguchiMDW21,
author = {Masaomi Yamaguchi and
Kazutaka Matsuda and
Cristina David and
Meng Wang},
title = {Synbit: synthesizing bidirectional programs using unidirectional sketches},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.1145/3485482},
doi = {10.1145/3485482},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/YamaguchiMDW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13783,
author = {Masaomi Yamaguchi and
Kazutaka Matsuda and
Cristina David and
Meng Wang},
title = {Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches},
journal = {CoRR},
volume = {abs/2108.13783},
year = {2021},
url = {https://arxiv.org/abs/2108.13783},
eprinttype = {arXiv},
eprint = {2108.13783},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-13783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MatsudaW20,
author = {Kazutaka Matsuda and
Meng Wang},
title = {Sparcl: a language for partially-invertible computation},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {118:1--118:31},
year = {2020},
url = {https://doi.org/10.1145/3409000},
doi = {10.1145/3409000},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MatsudaW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Matsuda20,
author = {Kazutaka Matsuda},
editor = {Peter M{\"{u}}ller},
title = {Modular Inference of Linear Types for Multiplicity-Annotated Arrows},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {456--483},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_17},
doi = {10.1007/978-3-030-44914-8\_17},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/Matsuda20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-00268,
author = {Kazutaka Matsuda},
title = {A Modular Inference of Linear Types for Multiplicity-Annotated Arrows},
journal = {CoRR},
volume = {abs/1911.00268},
year = {2019},
url = {http://arxiv.org/abs/1911.00268},
eprinttype = {arXiv},
eprint = {1911.00268},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-00268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Matsuda018,
author = {Kazutaka Matsuda and
Meng Wang},
title = {Applicative bidirectional programming: Mixing lenses and semantic
bidirectionalization},
journal = {J. Funct. Program.},
volume = {28},
pages = {e15},
year = {2018},
url = {https://doi.org/10.1017/S0956796818000096},
doi = {10.1017/S0956796818000096},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Matsuda018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HamanaMA18,
author = {Makoto Hamana and
Kazutaka Matsuda and
Kazuyuki Asada},
title = {The algebra of recursive graph transformation language UnCAL: complete
axiomatisation and iteration categorical semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {2},
pages = {287--337},
year = {2018},
url = {https://doi.org/10.1017/S096012951600027X},
doi = {10.1017/S096012951600027X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HamanaMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/MatsudaW18,
author = {Kazutaka Matsuda and
Meng Wang},
title = {FliPpr: {A} System for Deriving Parsers from Pretty-Printers},
journal = {New Gener. Comput.},
volume = {36},
number = {3},
pages = {173--202},
year = {2018},
url = {https://doi.org/10.1007/s00354-018-0033-7},
doi = {10.1007/S00354-018-0033-7},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/MatsudaW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Matsuda018,
author = {Kazutaka Matsuda and
Meng Wang},
editor = {Amal Ahmed},
title = {HOBiT: Programming Lenses Without Using Lens Combinators},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {31--59},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_2},
doi = {10.1007/978-3-319-89884-1\_2},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/Matsuda018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MatsudaW18,
author = {Kazutaka Matsuda and
Meng Wang},
editor = {Nicolas Wu},
title = {Embedding invertible languages with binders: a case of the FliPpr
language},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018},
pages = {158--171},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3242744.3242758},
doi = {10.1145/3242744.3242758},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/haskell/MatsudaW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaA17,
author = {Kazutaka Matsuda and
Kazuyuki Asada},
editor = {Ulrik Pagh Schultz and
Jeremy Yallop},
title = {A functional reformulation of UnCAL graph-transformations: or, graph
transformation as graph reduction},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
2017},
pages = {71--82},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018882.3018883},
doi = {10.1145/3018882.3018883},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/MatsudaA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/ThomsenMM17,
author = {Michael Kirkedal Thomsen and
Kazutaka Matsuda and
Mohammad Reza Mousavi},
title = {Reverse Execution in Testing {\textendash} Improving Security and
Reliability {(NII} Shonan Meeting 2017-9)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/102/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/ThomsenMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MatsudaW15,
author = {Kazutaka Matsuda and
Meng Wang},
title = {"Bidirectionalization for free" for monomorphic transformations},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {79--109},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.07.008},
doi = {10.1016/J.SCICO.2014.07.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MatsudaW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MatsudaW15,
author = {Kazutaka Matsuda and
Meng Wang},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Applicative bidirectional programming with lenses},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {62--74},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784750},
doi = {10.1145/2784731.2784750},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MatsudaW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/HidakaBTM15,
author = {Soichiro Hidaka and
Martin Billes and
Quang Minh Tran and
Kazutaka Matsuda},
editor = {Alcino Cunha and
Ekkart Kindler},
title = {Trace-based Approach to Editability and Correspondence Analysis for
Bidirectional Graph Transformations},
booktitle = {Proceedings of the 4th International Workshop on Bidirectional Transformations
co-located with Software Technologies: Applications and Foundations,
{STAF} 2015, L'Aquila, Italy, July 24, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1396},
pages = {51--65},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1396/p51-hidaka.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/staf/HidakaBTM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HamanaMA15,
author = {Makoto Hamana and
Kazutaka Matsuda and
Kazuyuki Asada},
title = {The Algebra of Recursive Graph Transformation Language UnCAL: Complete
Axiomatisation and Iteration Categorical Semantics},
journal = {CoRR},
volume = {abs/1511.08851},
year = {2015},
url = {http://arxiv.org/abs/1511.08851},
eprinttype = {arXiv},
eprint = {1511.08851},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HamanaMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Yasukata0M14,
author = {Kazuhide Yasukata and
Naoki Kobayashi and
Kazutaka Matsuda},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Pairwise Reachability Analysis for Higher Order Concurrent Programs
by Higher-Order Model Checking},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {312--326},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_22},
doi = {10.1007/978-3-662-44584-6\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Yasukata0M14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/VoigtlanderHMW13,
author = {Janis Voigtl{\"{a}}nder and
Zhenjiang Hu and
Kazutaka Matsuda and
Meng Wang},
title = {Enhancing semantic bidirectionalization via shape bidirectionalizer
plug-ins},
journal = {J. Funct. Program.},
volume = {23},
number = {5},
pages = {515--551},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000130},
doi = {10.1017/S0956796813000130},
timestamp = {Sun, 17 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/VoigtlanderHMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WangGMH13,
author = {Meng Wang and
Jeremy Gibbons and
Kazutaka Matsuda and
Zhenjiang Hu},
title = {Refactoring pattern matching},
journal = {Sci. Comput. Program.},
volume = {78},
number = {11},
pages = {2216--2242},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.07.014},
doi = {10.1016/J.SCICO.2012.07.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WangGMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MatsudaW13,
author = {Kazutaka Matsuda and
Meng Wang},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {FliPpr: {A} Prettier Invertible Printing System},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {101--120},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_6},
doi = {10.1007/978-3-642-37036-6\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/MatsudaW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MatsudaW13,
author = {Kazutaka Matsuda and
Meng Wang},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Bidirectionalization for free with runtime recording: or, a light-weight
approach to the view-update problem},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {297--308},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505888},
doi = {10.1145/2505879.2505888},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MatsudaW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MatsudaIN12,
author = {Kazutaka Matsuda and
Kazuhiro Inaba and
Keisuke Nakano},
title = {Polynomial-time inverse computation for accumulative functions with
multiple data traversals},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {1},
pages = {3--38},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9097-8},
doi = {10.1007/S10990-013-9097-8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/MatsudaIN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/0001MSY12,
author = {Naoki Kobayashi and
Kazutaka Matsuda and
Ayumi Shinohara and
Kazuya Yaguchi},
title = {Functional programs as compressed data},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {1},
pages = {39--84},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9093-z},
doi = {10.1007/S10990-013-9093-Z},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/0001MSY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaIN12,
author = {Kazutaka Matsuda and
Kazuhiro Inaba and
Keisuke Nakano},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Polynomial-time inverse computation for accumulative functions with
multiple data traversals},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {5--14},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103752},
doi = {10.1145/2103746.2103752},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MatsudaIN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KobayashiMS12,
author = {Naoki Kobayashi and
Kazutaka Matsuda and
Ayumi Shinohara},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Functional programs as compressed data},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {121--130},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103770},
doi = {10.1145/2103746.2103770},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/KobayashiMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HidakaHIKMNS11,
author = {Soichiro Hidaka and
Zhenjiang Hu and
Kazuhiro Inaba and
Hiroyuki Kato and
Kazutaka Matsuda and
Keisuke Nakano and
Isao Sasano},
editor = {Germ{\'{a}}n Vidal},
title = {Marker-Directed Optimization of UnCAL Graph Transformations},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {123--138},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_9},
doi = {10.1007/978-3-642-32211-2\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/HidakaHIKMNS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MatsudaMHT10,
author = {Kazutaka Matsuda and
Shin{-}Cheng Mu and
Zhenjiang Hu and
Masato Takeichi},
editor = {Andrew D. Gordon},
title = {A Grammar-Based Approach to Invertible Programs},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {448--467},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_24},
doi = {10.1007/978-3-642-11957-6\_24},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/MatsudaMHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VoigtlanderHMW10,
author = {Janis Voigtl{\"{a}}nder and
Zhenjiang Hu and
Kazutaka Matsuda and
Meng Wang},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Combining syntactic and semantic bidirectionalization},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {181--192},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863571},
doi = {10.1145/1863543.1863571},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VoigtlanderHMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HidakaHIKMN10,
author = {Soichiro Hidaka and
Zhenjiang Hu and
Kazuhiro Inaba and
Hiroyuki Kato and
Kazutaka Matsuda and
Keisuke Nakano},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Bidirectionalizing graph transformations},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {205--216},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863573},
doi = {10.1145/1863543.1863573},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HidakaHIKMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WangGMH10,
author = {Meng Wang and
Jeremy Gibbons and
Kazutaka Matsuda and
Zhenjiang Hu},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Gradual Refinement},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {397--425},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_22},
doi = {10.1007/978-3-642-13321-3\_22},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/WangGMH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssgip/FosterMV10,
author = {Nate Foster and
Kazutaka Matsuda and
Janis Voigtl{\"{a}}nder},
editor = {Jeremy Gibbons},
title = {Three Complementary Approaches to Bidirectional Programming},
booktitle = {Generic and Indexed Programming - International Spring School, {SSGIP}
2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7470},
pages = {1--46},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-32202-0\_1},
doi = {10.1007/978-3-642-32202-0\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ssgip/FosterMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MatsudaHT09,
author = {Kazutaka Matsuda and
Zhenjiang Hu and
Masato Takeichi},
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Type-based specialization of xml transformations},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
pages = {61--72},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480945.1480955},
doi = {10.1145/1480945.1480955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/MatsudaHT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MatsudaHNHT07,
author = {Kazutaka Matsuda and
Zhenjiang Hu and
Keisuke Nakano and
Makoto Hamana and
Masato Takeichi},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Bidirectionalization transformation based on automatic derivation
of view complement functions},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {47--58},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291162},
doi = {10.1145/1291151.1291162},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MatsudaHNHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waim/HayashiLEMHT07,
author = {Yasushi Hayashi and
Dongxi Liu and
Kento Emoto and
Kazutaka Matsuda and
Zhenjiang Hu and
Masato Takeichi},
editor = {Guozhu Dong and
Xuemin Lin and
Wei Wang and
Yun Yang and
Jeffrey Xu Yu},
title = {A Web Service Architecture for Bidirectional {XML} Updating},
booktitle = {Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference,
APWeb 2007, and 8th International Conference, on Web-Age Information
Management, {WAIM} 2007, Huang Shan, China, June 16-18, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4505},
pages = {721--732},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72524-4\_74},
doi = {10.1007/978-3-540-72524-4\_74},
timestamp = {Mon, 16 Mar 2020 17:44:09 +0100},
biburl = {https://dblp.org/rec/conf/waim/HayashiLEMHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
