E-LIB Suche - Ergebnisse für: Hu, Zhenjiang

1

Fusing Direct Manipulations into Functional Programs:

Zhang, Xing ; Xie, Ruifeng ; Guo, Guanchen...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1211-1238 , 2024

Link: https://doi.org/10.1145/..

2

Decomposition-based Synthesis for Applying Divide-and-Conqu..:

Ji, Ruyi ; Zhao, Yuwei ; Xiong, Yingfei...
ACM Transactions on Programming Languages and Systems. 46 (2024) 2 - p. 1-59 , 2024

Link: https://doi.org/10.1145/..

3

Synthesis of Bidirectional Programs from Examples with Func..:

Trong, Bach Nguyen ; Tsushima, Kanae ; Hu, Zhenjiang
Journal of Information Processing. 32 (2024) 0 - p. 451-465 , 2024

Link: https://doi.org/10.2197/..

4

SYNTHBX: An Example-guided Synthesizer for Bidirectional Pr..:

Nguyen Trong, Bach ; Tsushima, Kanae ; Hu, Zhenjiang
Journal of Information Processing. 32 (2024) 0 - p. 471-486 , 2024

Link: https://doi.org/10.2197/..

5

VoiceJava: A Syntax-Directed Voice Programming Language for..:

Zan, Tao ; Hu, Zhenjiang
Electronics. 12 (2023) 1 - p. 250 , 2023

Link: https://doi.org/10.3390/..

6

Bidirectional Object-Oriented Programming: Towards Programm..:

Zhang, Xing ; Guo, Guanchen ; He, Xiao.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 230-255 , 2023

Link: https://doi.org/10.1145/..

7

Improving Oracle-Guided Inductive Synthesis by Efficient Qu..:

Ji, Ruyi ; Kong, Chaozhe ; Xiong, Yingfei.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 819-847 , 2023

Link: https://doi.org/10.1145/..

8

Design Datalog Templates for Synthesizing Bidirectional Pro..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Trong, Bach Nguyen ; Tsushima, Kanae ; Hu, Zhenjiang - p. 9-27 , 2023

Link: https://doi.org/10.1007/..

9

Research on the stray light protection functional film char..:

Gao, Jingxiang ; Cao, Yongzhi ; Wang, Kaijie...
Journal of Materials Science. 58 (2023) 20 - p. 8426-8444 , 2023

Link: https://doi.org/10.1007/..

10

Contract lenses: Reasoning about bidirectional programs via..:

ZHANG, HANLIANG ; TANG, WENHAO ; XIE, RUIFENG..
Journal of Functional Programming. 33 (2023) - p. , 2023

Link: https://doi.org/10.1017/..

11

Generic recursive lens combinators and their calculation la..:

Xie, Ruifeng ; Hu, Zhenjiang
Theoretical Computer Science. 913 (2022) - p. 113-137 , 2022

Link: https://doi.org/10.1016/..

12

Bidirectional Collaborative Frameworks for Decentralized Da..:

, In: Communications in Computer and Information Science; Software Foundations for Data Interoperability,

Asano, Yasuhito ; Cao, Yang ; Hidaka, Soichiro... - p. 13-51 , 2022

Link: https://doi.org/10.1007/..

13

A theoretic framework of bidirectional transformation betwe..:

He, Xiao ; Hu, Zhenjiang ; Meng, Na
Science China Information Sciences. 65 (2022) 10 - p. , 2022

Link: https://doi.org/10.1007/..

14

Study on Parameter Correlation of Thickness and Performance..:

Wang, Kaijie ; Cao, Yongzhi ; Cui, Yaowen...
Coatings. 12 (2022) 12 - p. 1978 , 2022

Link: https://doi.org/10.3390/..

15

Controlled Continuous Patterning of Spherical Stainless Ste..:

Li, He ; Zhang, Junjie ; Ma, Wenqi...
Micromachines. 13 (2022) 8 - p. 1338 , 2022

Link: https://doi.org/10.3390/..