Zhenjiang Hu
Zhenjiang Hu
Professor, Dept. of Computer Science and Technology, Peking University
Dirección de correo verificada de pku.edu.cn - Página principal
TítuloCitado porAño
Bidirectional transformations: A cross-discipline perspective
K Czarnecki, JN Foster, Z Hu, R Lämmel, A Schürr, JF Terwilliger
International Conference on Theory and Practice of Model Transformations …, 2009
3052009
Towards automatic model synchronization from model transformations
Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
1942007
A programmable editor for developing structured documents based on bidirectional transformations
Z Hu, SC Mu, M Takeichi
Higher-Order and Symbolic Computation 21 (1-2), 89-118, 2008
1662008
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
1342007
Deriving structural hylomorphisms from recursive definitions
Z Hu, H Iwasaki, M Takeichi
ACM Sigplan Notices 31 (6), 73-82, 1996
1251996
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
1172010
Tupling calculation eliminates multiple data traversals
Z Hu, H Iwasaki, M Takeichi, A Takano
ACM Sigplan Notices 32 (8), 164-175, 1997
1141997
A library of constructive skeletons for sequential style of parallel programming
K Matsuzaki, H Iwasaki, K Emoto, Z Hu
Proceedings of the 1st international conference on Scalable information …, 2006
1092006
An algebraic approach to bi-directional updating
SC Mu, Z Hu, M Takeichi
Asian Symposium on Programming Languages and Systems, 2-20, 2004
992004
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
982009
A calculational fusion system HYLO
Y Onoue, Z Hu, H Iwasaki, M Takeichi
Algorithmic Languages and Calculi, 76-106, 1997
971997
Parallelization in calculational forms
Z Hu, M Takeichi, WN Chin
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
901998
An injective language for reversible computation
SC Mu, Z Hu, M Takeichi
International Conference on Mathematics of Program Construction, 289-313, 2004
892004
Formal derivation of efficient parallel programs by construction of list homomorphisms
Z Hu, H Iwasaki, M Takechi
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (3), 444-461, 1997
811997
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
762007
Supporting runtime software architecture: A bidirectional-transformation-based approach
H Song, G Huang, F Chauvel, Y Xiong, Z Hu, Y Sun, H Mei
Journal of Systems and Software 84 (5), 711-723, 2011
742011
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
S Hidaka, Z Hu, K Inaba, H Kato, K Nakano
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
652011
Feature-based classification of bidirectional transformation approaches
S Hidaka, M Tisi, J Cabot, Z Hu
Software & Systems Modeling 15 (3), 907-928, 2016
632016
Diffusion: Calculating E cient Parallel Programs
Z Hu, M Takeichi, H Iwasaki
Partial Evaluation and Semantics-Based Program Manipulation PEPM’99, 85, 1999
581999
BiGUL: a formally verified core language for putback-based bidirectional programming
HS Ko, T Zan, Z Hu
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
572016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20