 从50年代后期起从事计算机软件的研究开发。60年代初、中期，主持和作为主力研制出我国最早的实用高级程序语言BCY和有关计算机上的编译器，其后的工作包括形式语言理论、编译技术。1979年提出用计算机设计高质量汉字字形的参量图形学方法，解决了有关的实现技术。80年代中期以来，研究软件复用技术。90年代以来，研究形式规约的获取与复用，提出基于复用的文法推断方法，和提出一种新的递归函数理论：上下文无关语言上的递归函数CFRF。 |
|
从50年代后期起从事计算机软件的研究开发。60年代初、中期，主持和作为主力研制出我国最早的实用高级程序语言BCY和有关计算机上的编译器，其后的工作包括形式语言理论、编译技术。1979年提出用计算机设计高质量汉字字形的参量图形学方法，解决了有关的实现技术。80年代中期以来，研究软件复用技术。90年代以来，研究形式规约的获取与复用，提出基于复用的文法推断方法，和提出一种新的递归函数理论：上下文无关语言上的递归函数CFRF。 |
