1
0
0
News
Video: Kazutaka Matsuda, "Relating a data structure and its text...
www.birs.ca
· Kazutaka Matsuda speaking at BIRS workshop, Bi-directional transformations ( BX) – Theory and ...Dauer: 16:00Gepostet:
Новости
www.refal.net
University of Technology, Sweden) * Kazutaka Matsuda (University of Tokyo, ...
Netzwerk-Profile
LinkedIn: Kazutaka Matsuda - LinkedIn
Matsudaさんのような方が活動する世界最大のプロフェッショナルネットワークです。
Interessen
Kazutaka Matsuda Video Game Credits and Biography - MobyGameswww.mobygames.com › view › developerId,
www.mobygames.com
Kazutaka Matsuda has been credited on games developed by the following companies: Quest Corporation. This does not imply employment by these ...
Anwälte
Kazutaka Matsuda - Attorney in Tokyo, Tokyo - Lawyer.com
www.lawyer.com
Kazutaka Matsuda is an attorney in Tokyo, Tokyo. 25 years experience in General Practice. - Lawyer.com
Projekte
@article{refactoringpm, title = "Refactoring Pattern Matching", author ...
www.cs.ox.ac.uk
@article{refactoringpm, title = "Refactoring Pattern Matching", author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu", year ...
Bücher
Logic-Based Program Synthesis and Transformation: 21st International...
books.google.de
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, ,...
Functional and Logic Programming: 10th International Symposium, ...books.google.com › books
books.google.de
... Science Advancement, and MEXT. KAKENHI # and # We thank Kazutaka Matsuda for his useful comments on related works.
Logic-Based Program Synthesis and Transformation: 22nd International...
books.google.de
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and...
Mathematics of Program Construction: 10th International Conference,...
books.google.de
Hiroyuki Kato Heiko Mantel Clare Martin Kazutaka Matsuda Conor McBride ...
Dokumente zum Namen
Programming Languages authors/titles Nov 2019
arxiv.org
Authors: Kazutaka Matsuda. Comments: The full version of our paper to appear in ESOP Subjects: Programming Languages (cs.PL); Logic in Computer ...
Bidirectional Transformations - CEUR-WS.org
ceur-ws.org
Soichiro Hidaka, Martin Billes, Quang Minh Tran, and Kazutaka Matsuda ... that lenses and bidirectional transformations more generally are valuable generalisations
[ ] The Algebra of Recursive Graph Transformation Language...
arxiv.org
Authors:Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada. (Submitted on 27 Nov (v1), last revised 11 Sep (this version, v2)). Abstract: The aim of ...
Monday April 16
www.etaps.org
Monday April 16 ===== 08:30-09:00 Opening . 09:00-10:00 Invited Speaker: Benjamin ... Authors: Kazutaka Matsuda (Tohoku University); Meng Wang (University of Kent)
Wissenschaftliche Veröffentlichungen
2nd Call for Papers: WFLP Update: EPTCS Proceedings from...
www.informatik.uni-kiel.de
* Kazutaka Matsuda, Tohoku University, Japan * Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany * Janis Voigtlaender (Chair), University of Bonn, ...
dblp: PEPM 2012: Philadelphia, Pennsylvania, USA
dblp.uni-trier.de
Bibliographic content of PEPM 2012: Philadelphia, Pennsylvania, USA
Search results for "NII Shonan Meet. Rep." – FacetedDBLP
dblp.l3s.de
Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi: Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting ).
Veröffentlichungen allgemein
Applicative Bidirectional Programming with Lenses - CORE
core.ac.uk
Applicative Bidirectional Programming with Lenses. By Kazutaka Matsuda and Meng Wang. Downloads cached PDF from CORE Get PDF (431 KB) ...
FliPpr: A Prettier Invertible Printing System | SpringerLinklink.springer.com › chapter
link.springer.com
Kazutaka Matsuda; Meng Wang. Kazutaka Matsuda. 1. Meng Wang The University of TokyoJapan; 2.Chalmers University of TechnologySweden.
"Bidirectionalization for Free" for Monomorphic Transformations
research.chalmers.se
Abstract A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the...
Bidirectionalizing graph transformations - COREcore.ac.uk › MUCC (Crossref)
core.ac.uk
Bidirectionalizing graph transformations. By Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda and Keisuke Nakano.
Video & Audio
Kazutaka Matsuda - YouTube
www.youtube.com
Teile deine Videos mit Freunden, Verwandten oder der ganzen Welt
Artikel & Meinungen
Google Groups: Bx FINAL CALL FOR PAPERS
googlegroups.com, Kazutaka Matsuda. 皆様， 東北大の松田です． 〆切（概要 ，論文 5/4）が近いですが，6/21にオンライン開催予定の双方向変換に関する ...
Wikipedia: Bidirectionalization - Wikipedia
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, and Meng Wang. Combining Syntactic and Semantic Bidirectionalization. International Conference on ...
プログラム | 日本ソフトウェア科学会第32回大会
jssst2015.wordpress.com
◎Kazutaka Matsuda (Tohoku University) Meng Wang (University of Kent) (ACM ICFP 2015にて発表). Nondeterminism in Game Semantics via Sheaves
Sonstiges
Kazutaka Matsuda - Google Scholar
scholar.google.com
Tohoku University - 660-mal zitiert - Programming Language - Functional Programming - Program Transformation
Janis Voigtländer - Google Scholar Citations
scholar.google.de
Kazutaka Matsuda,; Zhenjiang Hu,; Meng Wang,; Jürgen Giesl,; Nate Foster,; Jeremy Gibbons,; Tom Schrijvers,; João Saraiva,; João Paulo Fernandes,; Hugo ...
Kazutaka Matsuda — Tohoku University - Elseviertohoku.pure.elsevier.com › persons › kazutaka-mats...
tohoku.pure.elsevier.com
Kazutaka Matsudaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークな ...
Kazutaka Matsuda (@KazutakaMatsuda) のツイート - ツイセーブ
twisave.com
Kazutaka Matsuda(@KazutakaMatsuda)のツイートやお気に入り、アイコン履歴のページです。過去ログを検索したり、日付ごとにまとめることができます。
Saturation-Based Model Checking of Higher-Order Recursion Schemes -...
docplayer.net
GTRecS2: A model checker for recursion schemes based on games and types. A tool available at Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, and Kazuya …
ESOP Accepted Papers - ETAPS 2021etaps.org › user-profile › list-articles › 415-esop
etaps.org
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs; Kazutaka Matsuda. A Modular Inference of Linear Types for ...
ICFP : The 15th ACM SIGPLAN International Conference on...
www.icfpconference.org
... (University of Bonn); Zhenjiang Hu (National Institute of Informatics, Tokyo); Kazutaka Matsuda (Tohoku University, Sendai); Meng Wang (University of Oxford) ...
A OEIS
oeis.org
... Kazutaka Matsuda and Ayumi Shinohara, Functional Programs as Compressed Data, http://www.kb.ecei.tohoku.ac.jp/~koba/papers/pepm2012-full.pdf.
Bx Steering Committee - Bidirectional Transformations
bx-community.wikidot.com
Kazutaka Matsuda (chair of Bx18) Jens Weber (chair of Bx18) Romina Eramo (chair of Bx17) Mike Johnson (chair of Bx17) Anthony Anjorin (chair of Bx16)
CFP
easychair.org
Organizers. Bx is organized by. Kazutaka Matsuda, Tohoku University, Japan (.ac.jp). and. Jens H. Weber, University of Victoria, Canada (). Copyright © 2002–2017 EasyChair.
CONCUR Conference Programme
www.concur2014.org
Controllers for the Verification of Communicating Multi-Pushdown Systems; Kazuhide Yasukata, Naoki Kobayashi and Kazutaka Matsuda. Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking. 12:30-14:00, Lunch. 14:00-15:30. COMPLEXITY. Anthony Widjaja Lin and ...
CONCUR Programme
www.concur2014.org
Kazuhide Yasukata, Naoki Kobayashi and Kazutaka Matsuda. Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model ...
FliPpr: A Prettier Invertible Printing System | springerprofessional.dewww.springerprofessional.de › flippr-a-prettier-inve...
www.springerprofessional.de
Authors: Kazutaka Matsuda, Meng Wang. Publisher: Springer Berlin Heidelberg. Published in: Programming Languages and Systems. » Get access to the full- ...
Modular Inference of Linear Types for Multiplicity-Annotated Arrows ...www.springerprofessional.de › modular-inference-of-linear-types-for-multi...
www.springerprofessional.de
Modular Inference of Linear Types for Multiplicity-Annotated Arrows. Buchtitelbild. Autor: Kazutaka Matsuda. Verlag: Springer International Publishing.
Conference Report: PPDP – Association for Logic Programming
www.cs.nmsu.edu
... Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order, Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro; A Type Class for Bidirectionalization — Or, a Light-Weight Approach to the View-Update Problem, Kazutaka Matsuda, Meng Wang ...
ICFP : Program
icfpconference.org
... Applicative Bidirectional Programming with Lenses: Kazutaka Matsuda, Tohoku University (Japan); Meng Wang, University of Kent (UK); Hygienic Resugaring ...
Enhancing semantic bidirectionalization via shape bidirectionalizer...
www.cambridge.org
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins - Volume 23 Issue 5 - JANIS VOIGTLÄNDER, ZHENJIANG HU, KAZUTAKA MATSUDA, MENG WANG
Inspection of Asian Lacquer Substructures by Terahertz Time-Domain...
www.infona.pl
... Time-Domain Imaging (THz-TDI). Corinna Ludovica Koch Dandolo, Kaori Fukunaga, Yoshei Kohzuma, Kyoko Kiriyama, Kazutaka Matsuda, Peter Uhd Jepsen.
IPL Members
takeichi.ipl-lab.org
Kazutaka MATSUDA, Assistant Professor (Tohoku University) ... Kazutaka MATSUDA, Mathematical Informatics '04 Master entrance.
Verwandte Suchanfragen zu Kazutaka Matsuda
| Janis Voigtländer Hiroyuki Kato Meng Wang | Nate Foster João Saraiva Jürgen Giesl | John Gallagher |
Personen Vorname "Kazutaka" (12) Name "Matsuda" (99) |
sortiert nach Relevanz / Datum