フォロー
Masato Takeichi
Masato Takeichi
University of Tokyo
確認したメール アドレス: acm.org - ホームページ
タイトル
引用先
引用先
Towards automatic model synchronization from model transformations
Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
2252007
A programmable editor for developing structured documents based on bidirectional transformations
Z Hu, SC Mu, M Takeichi
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
1882004
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
1652007
Deriving structural hylomorphisms from recursive definitions
Z Hu, H Iwasaki, M Takeichi
ACM Sigplan Notices 31 (6), 73-82, 1996
1441996
Supporting automatic model inconsistency fixing
Y Xiong, Z Hu, H Zhao, H Song, M Takeichi, H Mei
Proceedings of the 7th joint meeting of the European software engineering …, 2009
1342009
Tupling calculation eliminates multiple data traversals
Z Hu, H Iwasaki, M Takeichi, A Takano
ACM Sigplan Notices 32 (8), 164-175, 1997
1311997
An algebraic approach to bi-directional updating
SC Mu, Z Hu, M Takeichi
Programming Languages and Systems: Second Asian Symposium, APLAS 2004 …, 2004
1092004
A calculational fusion system HYLO
Y Onoue, Z Hu, H Iwasaki, M Takeichi
Algorithmic Languages and Calculi: IFIP TC2 WG2. 1 International Workshop on …, 1997
1091997
An injective language for reversible computation
SC Mu, Z Hu, M Takeichi
Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004
1072004
Automatic inversion generates divide-and-conquer parallel programs
K Morita, A Morihata, K Matsuzaki, Z Hu, M Takeichi
ACM SIGPLAN Notices 42 (6), 146-155, 2007
992007
Parallelization in calculational forms
Z Hu, M Takeichi, WN Chin
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
961998
Synchronizing concurrent model updates based on bidirectional transformation
Y Xiong, H Song, Z Hu, M Takeichi
Software & Systems Modeling 12, 89-104, 2013
682013
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer
A Morihata, K Matsuzaki, Z Hu, M Takeichi
ACM SIGPLAN Notices 44 (1), 177-185, 2009
662009
Diffusion: Calculating E cient Parallel Programs
Z Hu, M Takeichi, H Iwasaki
Partial Evaluation and Semantics-Based Program Manipulation PEPM’99, 85, 1999
641999
Entering text with a four-button device
K Tanaka-Ishii, Y Inutsuka, M Takeichi
COLING 2002: The 19th International Conference on Computational Linguistics, 2002
632002
Bidirectional interpretation of XQuery
D Liu, Z Hu, M Takeichi
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
562007
Supporting parallel updates with bidirectional model transformations
Y Xiong, H Song, Z Hu, M Takeichi
Theory and Practice of Model Transformations: Second International …, 2009
522009
Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems
I Sasano, Z Hu, M Takeichi, M Ogawa
ACM SIGPLAN Notices 35 (9), 137-149, 2000
512000
An accumulative parallel skeleton for all
Z Hu, H Iwasaki, M Takeichi
Programming Languages and Systems: 11th European Symposium on Programming …, 2002
462002
Calculating accumulations
Z Hu, H Iwasaki, M Takeichi
New Generation Computing 17, 153-173, 1999
451999
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20