( en | de | ru )

 

Disambiguierung von "Shao, Zhong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Safe and Principled Language Interoperation.

, und . ESOP, Volume 1576 von Lecture Notes in Computer Science, Seite 128-146. Springer, (1999)

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.

Hua Shao

Li Shao

Hua Shao

Junyang Shao

Gang Zhong

 

Weitere Publikationen von Autoren mit dem selben Namen

Callee-Save Registers in Continuation-Passing Style., und . LISP Symb. Comput., 5 (3): 191-221 (1992)Typed common intermediate format.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 82 (2000)Building certified concurrent OS kernels., , , , , , , und . Commun. ACM, 62 (10): 89-99 (2019)Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems., , , und . VSTTE, Volume 5295 von Lecture Notes in Computer Science, Seite 54-69. Springer, (2008)TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions., , , und . DSN, Seite 453-465. IEEE, (2022)Ou: Automating the Parallelization of Zero-Knowledge Protocols., , , , , , , und . CCS, Seite 534-548. ACM, (2023)Space-Efficient Closure Representations., und . LISP and Functional Programming, Seite 150-161. ACM, (1994)Flexible Representation Analysis.. ICFP, Seite 85-98. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Representing Java Classes in a Typed Intermediate Language., , und . ICFP, Seite 183-196. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Certified self-modifying code., , und . PLDI, Seite 66-77. ACM, (2007)