基本信息 姓名：金成植金成植任教专业：工学-计算机科学与技术在职情况：在性别：男所在院系：吉林大学计算机科学与技术学院 本人简介 金成植男，1935年生，教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责… [ 进入词条 ][ 进入金成植维吧 ]