 | 2004 |
|---|
| 14 |       | Yingxi Yu,
Ming-Yuan Zhu,
Shuo-Ying Chen:
New Approach for Device Driver Development - Devil+ Language.
ICESS 2004: 418-422 |
| 2003 |
|---|
| 13 | | Lei Luo,
Ming-Yuan Zhu:
Partitioning based operating system: a formal model.
Operating Systems Review 37(3): 23-35 (2003) |
| 12 | | Lei Luo,
Ming-Yuan Zhu,
Qing-Li Zhang:
A formal semantic definition of DEVIL.
SIGPLAN Notices 38(4): 47-56 (2003) |
| 11 | | Qing-Li Zhang,
Ming-Yuan Zhu,
Shuo-Ying Chen:
Automatic generation of device drivers.
SIGPLAN Notices 38(6): 60-69 (2003) |
| 2001 |
|---|
| 10 |  | Ming-Yuan Zhu,
Lei Luo,
Guang-Zhe Xiong:
A Provably Correct Operating System: delta-Core.
Operating Systems Review 35(1): 17-33 (2001) |
| 9 | | Ming-Yuan Zhu,
Lei Luo,
Guang-Zhe Xiong:
The Minimal Model of Operating Systems.
Operating Systems Review 35(3): 22-29 (2001) |
| 8 | | Ming-Yuan Zhu:
Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon.
SIGPLAN Notices 36(9): 39-53 (2001) |
| 7 | | Ming-Yuan Zhu:
Formal Specification of Debuggers.
SIGPLAN Notices 36(9): 54-63 (2001) |
| 1995 |
|---|
| 6 | | Ming-Yuan Zhu,
Xiao-Bai Mo:
Mechanical synthesis of a unification algorithm in PowerEpsilon.
COMPSAC 1995: 56-61 |
| 5 | | Ming-Yuan Zhu:
Program Transformation in Constructive Type Theory.
SIGPLAN Notices 30(1): 11-19 (1995) |
| 1994 |
|---|
| 4 | | Ming-Yuan Zhu:
Computational Reflection in PowerEpsilon.
SIGPLAN Notices 29(1): 13-19 (1994) |
| 1992 |
|---|
| 3 | | Ming-Yuan Zhu,
Cheng-Wei Wang:
An Overview of Specification Language Universe.
IFIP Congress (1) 1992: 42-48 |
| 1989 |
|---|
| 2 | | Ming-Yuan Zhu:
AUTO STAR - a software development system.
SIGPLAN Notices 24(3): 31-45 (1989) |
| 1 | | Ming-Yuan Zhu:
Transformational programming: the derivation of a Prolog interpretation algorithm.
SIGPLAN Notices 24(9): 92-111 (1989) |
