His research includes programming language design, implementation and theory. 他的研究领域包括编程语言的设计、实现和理论。
Research on Visual Programming Language Based on an Event-triggered Concurrent Dataflow Model 基于事件触发并发数据流模型的可视化编程语言研究
Research on the Programming Language for the Block Cipher Algorithm 面向分组密码算法的程序设计语言研究
Status XDuce is more a research project than a Programming Language for production-level applications. 现状XDuce生产标准的软件,更多的应用于工程方面而不是编程语言方面。
The paper puts forward a formal method for designing code component and program of embedded software, through the research of MCU architecture, programming language, appliance functions and drivers of peripheral equipment. 通过对家电控制器常用MCU体系结构、程序设计语言、家电功能及外设驱动源码研究,提出了一种形式化的嵌入式软件的源码构件和程序代码的设计方法。