Ming-Yuan Zhu

According to our database, Ming-Yuan Zhu authored at least 17 papers between 1989 and 2004.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2004

New Approach for Device Driver Development - Devil+ Language.

Yingxi Yu, Ming-Yuan Zhu, Shuo-Ying Chen

Proceedings of the Embedded Software and Systems, First International Conference, 2004

2003

Automatic generation of device drivers.

Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen

ACM SIGPLAN Notices, 2003

A formal semantic definition of DEVIL.

Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang

ACM SIGPLAN Notices, 2003

Partitioning based operating system: a formal model.

Lei Luo, Ming-Yuan Zhu

ACM SIGOPS Oper. Syst. Rev., 2003

2001

Formal Specification of Debuggers.

Ming-Yuan Zhu

ACM SIGPLAN Notices, 2001

Denotational Semantics of Programming Languages and Compiler Generation in PowerEpsilon.

Ming-Yuan Zhu

ACM SIGPLAN Notices, 2001

The Minimal Model of Operating Systems.

Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong

ACM SIGOPS Oper. Syst. Rev., 2001

A Provably Correct Operating System: delta-Core.

Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong

ACM SIGOPS Oper. Syst. Rev., 2001

1995

Program Transformation in Constructive Type Theory.

Ming-Yuan Zhu

ACM SIGPLAN Notices, 1995

Mechanical synthesis of a unification algorithm in PowerEpsilon.

Ming-Yuan Zhu, Xiao-Bai Mo

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

Computational Reflection in PowerEpsilon.

Ming-Yuan Zhu

ACM SIGPLAN Notices, 1994

Program extraction by type erasing.

Ming-Yuan Zhu, Yi-Qiang Ding

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993

Computing with real world: a fuzzy duration calculs.

Ming-Yuan Zhu, Cheng-Wei Wang

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

An Overview of Specification Language Universe.

Ming-Yuan Zhu, Cheng-Wei Wang

Proceedings of the Algorithms, Software, Architecture, 1992

Program derivation in PowerEpsilon.

Ming-Yuan Zhu, Cheng-Wei Wang

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1989

Transformational programming: the derivation of a Prolog interpretation algorithm.

Ming-Yuan Zhu

ACM SIGPLAN Notices, 1989

AUTO STAR - a software development system.

Ming-Yuan Zhu

ACM SIGPLAN Notices, 1989