dblp.uni-trier.dewww.uni-trier.de

Ming-Yuan Zhu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
14EEYingxi Yu, Ming-Yuan Zhu, Shuo-Ying Chen: New Approach for Device Driver Development - Devil+ Language. ICESS 2004: 418-422
2003
13EELei Luo, Ming-Yuan Zhu: Partitioning based operating system: a formal model. Operating Systems Review 37(3): 23-35 (2003)
12EELei Luo, Ming-Yuan Zhu, Qing-Li Zhang: A formal semantic definition of DEVIL. SIGPLAN Notices 38(4): 47-56 (2003)
11EEQing-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
6EEMing-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
2EEMing-Yuan Zhu: AUTO STAR - a software development system. SIGPLAN Notices 24(3): 31-45 (1989)
1EEMing-Yuan Zhu: Transformational programming: the derivation of a Prolog interpretation algorithm. SIGPLAN Notices 24(9): 92-111 (1989)

Coauthor Index

1Shuo-Ying Chen [11] [14]
2Lei Luo [9] [10] [12] [13]
3Xiao-Bai Mo [6]
4Cheng-Wei Wang [3]
5Guang-Zhe Xiong [9] [10]
6Yingxi Yu [14]
7Qing-Li Zhang [11] [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)