Kazutaka Matsuda
Title
Cited by
Cited by
Year
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
1462007
Bidirectionalizing graph transformations
S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano
Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010
1252010
Three complementary approaches to bidirectional programming
N Foster, K Matsuda, J Voigtländer
Generic and indexed programming, 1-46, 2012
452012
Combining syntactic and semantic bidirectionalization
J Voigtländer, Z Hu, K Matsuda, M Wang
ACM Sigplan Notices 45 (9), 181-192, 2010
442010
Functional programs as compressed data
N Kobayashi, K Matsuda, A Shinohara, K Yaguchi
Higher-Order and Symbolic Computation 25 (1), 39-84, 2012
352012
FliPpr: A prettier invertible printing system
K Matsuda, M Wang
European Symposium on Programming, 101-120, 2013
242013
Applicative bidirectional programming with lenses
K Matsuda, M Wang
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
232015
Gradual refinement
M Wang, J Gibbons, K Matsuda, Z Hu
International Conference on Mathematics of Program Construction, 397-425, 2010
232010
A grammar-based approach to invertible programs
K Matsuda, SC Mu, Z Hu, M Takeichi
European Symposium on Programming, 448-467, 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
Refactoring pattern matching
M Wang, J Gibbons, K Matsuda, Z Hu
Science of Computer Programming 78 (11), 2216-2242, 2013
172013
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
172011
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
Hobit: Programming lenses without using lens combinators
K Matsuda, M Wang
European Symposium on Programming, 31-59, 2018
132018
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
132012
“Bidirectionalization for free” for monomorphic transformations
K Matsuda, M Wang
Science of computer programming 111, 79-109, 2015
102015
Bidirectionalizing programs with duplication through complementary function derivation
K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi
Computer Software 26 (2), 56-75, 2009
102009
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
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
72007
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
The system can't perform the operation now. Try again later.
Articles 1–20