金成植

导出分析报告

金成植 男，1935年生，教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序...   详细>>

研究主题：函数式语言    程序语言    部分求值    程序设计    MONAD    

研究学科：自动化类    

被引量：68H指数：4