Kazutaka Matsuda
TitleCited byYear
Bidirectionalization transformation based on automatic derivation of view complement functions
K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi
ACM SIGPLAN Notices 42 (9), 47-58, 2007
1332007
Bidirectionalizing graph transformations
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano
ACM Sigplan Notices 45 (9), 205-216, 2010
1152010
Three complementary approaches to bidirectional programming
N Foster, K Matsuda, J Voigtländer
Generic and indexed programming, 1-46, 2012
432012
Combining syntactic and semantic bidirectionalization
J Voigtländer, Z Hu, K Matsuda, M Wang
ACM Sigplan Notices 45 (9), 181-192, 2010
432010
Functional programs as compressed data
N Kobayashi, K Matsuda, A Shinohara, K Yaguchi
Higher-Order and Symbolic Computation 25 (1), 39-84, 2012
332012
Gradual refinement
M Wang, J Gibbons, K Matsuda, Z Hu
International Conference on Mathematics of Program Construction, 397-425, 2010
222010
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem
K Matsuda, M Wang
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
182013
FliPpr: A prettier invertible printing system
K Matsuda, M Wang
European Symposium on Programming, 101-120, 2013
182013
Applicative bidirectional programming with lenses
K Matsuda, M Wang
ACM SIGPLAN Notices 50 (9), 62-74, 2015
172015
A grammar-based approach to invertible programs
K Matsuda, SC Mu, Z Hu, M Takeichi
European Symposium on Programming, 448-467, 2010
172010
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
J Voigtländer, Z Hu, K Matsuda, M Wang
Journal of Functional Programming 23 (5), 515-551, 2013
162013
Marker-directed optimization of uncal graph transformations
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano
International Symposium on Logic-Based Program Synthesis and Transformation …, 2011
162011
Refactoring pattern matching
M Wang, J Gibbons, K Matsuda, Z Hu
Science of Computer Programming 78 (11), 2216-2242, 2013
132013
HOBiT: Programming lenses without using lens combinators
K Matsuda, M Wang
European Symposium on Programming, 31-59, 2018
102018
“Bidirectionalization for free” for monomorphic transformations
K Matsuda, M Wang
Science of computer programming 111, 79-109, 2015
92015
Pairwise reachability analysis for higher order concurrent programs by higher-order model checking
K Yasukata, N Kobayashi, K Matsuda
International Conference on Concurrency Theory, 312-326, 2014
92014
Polynomial-time inverse computation for accumulative functions with multiple data traversals
K Matsuda, K Inaba, K Nakano
Higher-Order and Symbolic Computation 25 (1), 3-38, 2012
82012
Bidirectionalizing programs with duplication through complementary function derivation
K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi
JSSST Journal: Computer Software 26 (2), 5, 2009
82009
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
M Hamana, K Matsuda, K Asada
Mathematical Structures in Computer Science 28 (2), 287-337, 2018
62018
A web service architecture for bidirectional XML updating
Y Hayashi, D Liu, K Emoto, K Matsuda, Z Hu, M Takeichi
Advances in Data and Web Management, 721-732, 2007
62007
The system can't perform the operation now. Try again later.
Articles 1–20