| |
| 2006 | ||
|---|---|---|
| 5 | EE | Haiming Chen, Yunmei Dong: Towards Practical Computable Functions on Context-Free Languages. TAMC 2006: 555-565 |
| 4 | EE | Haiming Chen, Yunmei Dong: Facilitating formal specification acquisition by using recursive functions on context-free languages. Knowl.-Based Syst. 19(2): 141-151 (2006) |
| 2004 | ||
| 3 | EE | Haiming Chen, Yunmei Dong: Practical Type Checking of Functions Defined on Context-Free Languages. J. Comput. Sci. Technol. 19(6): 840-847 (2004) |
| 2002 | ||
| 2 | EE | Haiming Chen, Yunmei Dong: Yet another meta-language for programming language processing. SIGPLAN Notices 37(6): 28-37 (2002) |
| 2001 | ||
| 1 | EE | Haiming Chen, Yunmei Dong: Pattern Matching Compilation of Functions Defined in Context-Free Languages. J. Comput. Sci. Technol. 16(2): 159-167 (2001) |
| 1 | Haiming Chen | [1] [2] [3] [4] [5] |