Takip et
Zhenjiang Hu
Zhenjiang Hu
Professor, School of Computer Science, Peking University
pku.edu.cn üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Bidirectional Transformations: A Cross-Discipline Perspective: GRACE Meeting Notes, State of the Art, and Outlook
K Czarnecki, JN Foster, Z Hu, R Lämmel, A Schürr, JF Terwilliger
Theory and Practice of Model Transformations: Second International …, 2009
3942009
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
2242007
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
1952004
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
1692007
Deriving structural hylomorphisms from recursive definitions
Z Hu, H Iwasaki, M Takeichi
ACM Sigplan Notices 31 (6), 73-82, 1996
1431996
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
1422010
Tupling calculation eliminates multiple data traversals
Z Hu, H Iwasaki, M Takeichi, A Takano
ACM Sigplan Notices 32 (8), 164-175, 1997
1331997
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
1322009
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
1172006
Feature-based classification of bidirectional transformation approaches
S Hidaka, M Tisi, J Cabot, Z Hu
Software & Systems Modeling 15, 907-928, 2016
1132016
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
1132011
An algebraic approach to bi-directional updating
SC Mu, Z Hu, M Takeichi
Asian Symposium on Programming Languages and Systems, 2-20, 2004
1122004
An injective language for reversible computation
SC Mu, Z Hu, M Takeichi
Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004
1062004
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
1061997
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
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
982016
Parallelization in calculational forms
Z Hu, M Takeichi, WN Chin
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
971998
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
931997
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
752011
Synchronizing concurrent model updates based on bidirectional transformation
Y Xiong, H Song, Z Hu, M Takeichi
Software & Systems Modeling 12, 89-104, 2013
682013
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20