( en | de | ru )

 

Disambiguierung von "Ko, Hsiang-Shang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Benchmarking bidirectional transformations: theory, implementation, application, and assessment.

, , , , , , , , und . Softw. Syst. Model., 19 (3): 647-691 (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hsiang-Shang Ko

Hsiang Kuang

Li Shang

Huiping Shang

Heping Shang

 

Weitere Publikationen von Autoren mit dem selben Namen

Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars., , , , , und . New Gener. Comput., 38 (3): 423-476 (2020)Towards Bidirectional Synchronization Between Communicating Processes and Session Types., , , , und . BigComp, Seite 1-5. IEEE, (2019)A Formal Treatment of Bidirectional Typing., und . ESOP (1), Volume 14576 von Lecture Notes in Computer Science, Seite 115-142. Springer, (2024)Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design.. Art Sci. Eng. Program., 5 (2): 7 (2021)Datatype-generic programming meets elaborator reflection., , und . Proc. ACM Program. Lang., 6 (ICFP): 225-253 (2022)C-Lenses Explained: Bx Foundations for the Rest of Us., , und . STAF Workshops, Volume 2999 von CEUR Workshop Proceedings, Seite 1-17. CEUR-WS.org, (2021)Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design.. CoRR, (2020)Benchmarking bidirectional transformations: theory, implementation, application, and assessment., , , , , , , , und . Softw. Syst. Model., 19 (3): 647-691 (2020)Retentive Lenses., , , und . CoRR, (2020)Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer., , , , , , , und . OSDI, Seite 81-97. USENIX Association, (2020)