Folgen
Hsiang-Shang Ko
Hsiang-Shang Ko
Institute of Information Science, Academia Sinica, Taiwan
Bestätigte E-Mail-Adresse bei iis.sinica.edu.tw - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
842016
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
622017
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
552009
Benchmarking bidirectional transformations: theory, implementation, application, and assessment
A Anjorin, T Buchmann, B Westfechtel, Z Diskin, HS Ko, R Eramo, ...
Software and systems modeling 19, 647-691, 2020
332020
Modularising inductive families
HS KO, J GIBBONS
Progress in Informatics, 65-88, 2013
262013
An axiomatic basis for bidirectional programming
HS Ko, Z Hu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
242017
BiYacc: Roll your parser and reflective printer into one
Z Zhu, HS Ko, PMR Martins, JA Saraiva, Z Hu
CEUR-Ws, 2015
192015
Algebra of Programming using dependent types
SC Mu, HS Ko, P Jansson
International Conference on Mathematics of Program Construction, 268-283, 2008
182008
Programming with ornaments
HS Ko, J Gibbons
Journal of Functional Programming 27, e2, 2017
172017
Relational algebraic ornaments
HS Ko, J Gibbons
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed …, 2013
172013
Parsing and reflective printing, bidirectionally
Z Zhu, Y Zhang, HS Ko, P Martins, J Saraiva, Z Hu
Software Language Engineering, 2-14, 2016
162016
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
122016
Analysis and synthesis of inductive families
H Ko
Oxford University, UK, 2014
112014
Principles and practice of bidirectional programming in BiGUL
Z Hu, HS Ko
Bidirectional Transformations: International Summer School, Oxford, UK, July …, 2018
102018
Palgol: A high-level DSL for vertex-centric graph processing with remote data access
Y Zhang, HS Ko, Z Hu
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017
102017
Determinizing crash behavior with a verified snapshot-consistent flash translation layer
YS Chang, Y Hsiao, TC Lin, CW Tsao, CF Wu, YH Chang, HS Ko, ...
Proceedings of the 14th USENIX Conference on Operating Systems Design and …, 2020
42020
Unifying parsing and reflective printing for fully disambiguated grammars
Z Zhu, HS Ko, Y Zhang, P Martins, J Saraiva, Z Hu
New Generation Computing 38 (3), 423-476, 2020
32020
Programming metamorphic algorithms: an experiment in type-driven algorithm design
HS Ko
arXiv preprint arXiv:2010.16302, 2020
22020
Realising Intensional S4 and GL Modalities
LT Chen, HS Ko
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
12022
Datatype-generic programming meets elaborator reflection
HS Ko, LT Chen, TC Lin
Proceedings of the ACM on Programming Languages 6 (ICFP), 225-253, 2022
2022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20