由全球位网民共同编写而成。共计 词条文字
 
目录 [隐藏]

金成植-基本信息

 

姓名 : 金成植金成植
任教专业 : 工学-计算机科学与技术
在职情况 : 在
性别 : 男
所在院系 : 吉林大学计算机科学与技术学院


 

金成植-本人简介

 
金成植男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。
代表性著作 : 《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》
代表性论文 : 并行面向对象语言的Action演算语义
专业(网站用) : 
  
所教课程 : 
研究方向 : 程序理论、软件形式化和软件新技术
  

金成植-主要作品

 

曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。

金成植-参考资料

 
金成植教授教学评价:http://www.pinglaoshi.com/teacherId315477

附图

上传图片

→ 如果您认为本词条还有待完善,请 编辑词条 收藏词条至个人空间

本词条内容有价值 互动百科的词条资料来自网友贡献,供您查阅参考,一些和您切身相关的具体问题(特别是健康、经济、法律相关问题),出于审慎起见,建议咨询专业人士以获得更有针对性的答案。

开放分类: 我来补充
参与编辑者:
I一路顺风I
我是猪猪猪

讨论区

更多>>

基本信息

I一路顺风I

相关词条

曹汉强
软件体系结构
方正
指称语义学
华中科技大学电气与电子工程学院
重庆大学工业工程
成都职业技术学院
信息哲学
编译原理
计算机系统结构
更多