Ming-Yuan Zhu

17 papers B 4Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2004 — conf
New Approach for Device Driver Development - Devil+ Language.
ICESS
Yingxi Yu, Ming-Yuan Zhu, Shuo-Ying Chen
2003 J jnl
A formal semantic definition of DEVIL.
ACM SIGPLAN Notices
Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang
2003 J jnl
Automatic generation of device drivers.
ACM SIGPLAN Notices
Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen
2003 J jnl
Partitioning based operating system: a formal model.
ACM SIGOPS Oper. Syst. Rev.
Lei Luo, Ming-Yuan Zhu
2001 J jnl
A Provably Correct Operating System: delta-Core.
ACM SIGOPS Oper. Syst. Rev.
Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
2001 J jnl
Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon.
ACM SIGPLAN Notices
Ming-Yuan Zhu
2001 J jnl
Formal Specification of Debuggers.
ACM SIGPLAN Notices
Ming-Yuan Zhu
2001 J jnl
The Minimal Model of Operating Systems.
ACM SIGOPS Oper. Syst. Rev.
Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
1995 B conf
Mechanical synthesis of a unification algorithm in PowerEpsilon.
COMPSAC
Ming-Yuan Zhu, Xiao-Bai Mo
1995 J jnl
Program Transformation in Constructive Type Theory.
ACM SIGPLAN Notices
Ming-Yuan Zhu
1994 J jnl
Computational Reflection in PowerEpsilon.
ACM SIGPLAN Notices
Ming-Yuan Zhu
1994 B conf
Program extraction by type erasing.
COMPSAC
Ming-Yuan Zhu, Yi-Qiang Ding
1993 B conf
Computing with real world: a fuzzy duration calculs.
COMPSAC
Ming-Yuan Zhu, Cheng-Wei Wang
1992 — conf
An Overview of Specification Language Universe.
IFIP Congress (1)
Ming-Yuan Zhu, Cheng-Wei Wang
1992 B conf
Program derivation in PowerEpsilon.
COMPSAC
Ming-Yuan Zhu, Cheng-Wei Wang
1989 J jnl
AUTO STAR - a software development system.
ACM SIGPLAN Notices
Ming-Yuan Zhu
1989 J jnl
Transformational programming: the derivation of a Prolog interpretation algorithm.
ACM SIGPLAN Notices
Ming-Yuan Zhu