Ming-Yuan Zhu

Publication Activity (10 Years)

Years Active: 1989-2004
Publications (10 Years): 0

Publications

Yingxi Yu, Ming-Yuan Zhu, Shuo-Ying Chen
New Approach for Device Driver Development - Devil+ Language. ICESS (2004)
Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen
Automatic generation of device drivers. ACM SIGPLAN Notices 38 (6) (2003)
Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang
A formal semantic definition of DEVIL. ACM SIGPLAN Notices 38 (4) (2003)
Lei Luo, Ming-Yuan Zhu
Partitioning based operating system: a formal model. ACM SIGOPS Oper. Syst. Rev. 37 (3) (2003)
Ming-Yuan Zhu
Formal Specification of Debuggers. ACM SIGPLAN Notices 36 (9) (2001)
Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
The Minimal Model of Operating Systems. ACM SIGOPS Oper. Syst. Rev. 35 (3) (2001)
Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
A Provably Correct Operating System: delta-Core. ACM SIGOPS Oper. Syst. Rev. 35 (1) (2001)
Ming-Yuan Zhu
Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon. ACM SIGPLAN Notices 36 (9) (2001)
Ming-Yuan Zhu
Program Transformation in Constructive Type Theory. ACM SIGPLAN Notices 30 (1) (1995)
Ming-Yuan Zhu, Xiao-Bai Mo
Mechanical synthesis of a unification algorithm in PowerEpsilon. COMPSAC (1995)
Ming-Yuan Zhu
Computational Reflection in PowerEpsilon. ACM SIGPLAN Notices 29 (1) (1994)
Ming-Yuan Zhu, Yi-Qiang Ding
Program extraction by type erasing. COMPSAC (1994)
Ming-Yuan Zhu, Cheng-Wei Wang
An Overview of Specification Language Universe. IFIP Congress (1) (1992)
Ming-Yuan Zhu
AUTO STAR - a software development system. ACM SIGPLAN Notices 24 (3) (1989)
Ming-Yuan Zhu
Transformational programming: the derivation of a Prolog interpretation algorithm. ACM SIGPLAN Notices 24 (9) (1989)