Hsiang-Shang Ko
Hsiang-Shang Ko
Institute of Information Science, Academia Sinica, Taiwan
E-mail megerősítve itt: iis.sinica.edu.tw - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
662016
Algebra of Programming in Agda: Dependent types for relational program derivation
SC Mu, HS Ko, P Jansson
Journal of Functional Programming 19 (05), 545-579, 2009
452009
Benchmarx Reloaded: A Practical Benchmark Framework for Bidirectional Transformations
A Anjorin, Z Diskin, F Jouault, HS Ko, E Leblebici, B Westfechtel
International Workshop on Bidirectional Transformations, 15–30, 2017
39*2017
Modularising inductive families
HS KO, J GIBBONS
Progress in Informatics, 65-88, 2013
232013
An axiomatic basis for bidirectional programming
HS Ko, Z Hu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
182017
BiYacc: Roll your parser and reflective printer into one
Z Zhu, HS Ko, PMR Martins, JA Saraiva, Z Hu
CEUR-Ws, 2015
162015
Algebra of Programming using dependent types
SC Mu, HS Ko, P Jansson
International Conference on Mathematics of Program Construction, 268-283, 2008
162008
Relational algebraic ornaments
HS Ko, J Gibbons
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed …, 2013
152013
Parsing and reflective printing, bidirectionally
Z Zhu, Y Zhang, HS Ko, P Martins, J Saraiva, Z Hu
Software Language Engineering, 2-14, 2016
112016
Brul: A putback-based bidirectional transformation library for updatable views
T Zan, L Liu, HS Ko, Z Hu
International Workshop on Bidirectional Transformations, 77-89, 2016
102016
Programming with ornaments
HS Ko, J Gibbons
Journal of Functional Programming 27, e2, 2017
82017
Benchmarking bidirectional transformations: theory, implementation, application, and assessment
A Anjorin, T Buchmann, B Westfechtel, Z Diskin, HS Ko, R Eramo, ...
Software and Systems Modeling, 1-45, 2019
62019
Palgol: A high-level DSL for vertex-centric graph processing with remote data access
Y Zhang, HS Ko, Z Hu
Asian Symposium on Programming Languages and Systems, 301-320, 2017
62017
Analysis and synthesis of inductive families
HS Ko
Oxford University, UK, 2014
52014
Principles and practice of bidirectional programming in BiGUL
Z Hu, HS Ko
Bidirectional Transformations, 100-150, 2018
32018
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars
Z Zhu, HS Ko, Y Zhang, P Martins, J Saraiva, Z Hu
NEW GENERATION COMPUTING, 2020
12020
Retentive Lenses
Z Zhu, Z Yang, HS Ko, Z Hu
arXiv preprint arXiv:2001.02031, 2020
2020
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars
HS Ko, ZJ Hu, JA Saraiva, P Martins, YZ Zhang, ZR Zhu
2020
3.2 WG2: Partial Consistency Notions
A Anjorin, A Cleve, S Copei, Z Diskin, J Gibbons, HS Ko, N Macedo, ...
Multidirectional Transformations and Synchronisations, 8, 2019
2019
Towards Bidirectional Synchronization between Communicating Processes and Session Types
L Guo, HS Ko, K Imai, N Yoshida, Z Hu
2019 IEEE International Conference on Big Data and Smart Computing (BigComp …, 2019
2019
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20