学者知网节

【姓名】	李隆
【职称】
【研究领域】	计算机软件及计算机应用;自动化技术;电力工业;
【研究方向】	基于程序设计语言的软件安全研究、汇编语言级程序验证、垃圾收集及并行程序安全性验证等
【发表文献关键词】	高可信软件,安全程序,形式化证明方法,证明工具Coq,形式化方法,程序验证,携带证明的代码,动态存储管理,安全策略,安全验证,指令序列,定理证明,程序规范,代码块,推理规则,验证技术,构造程序,表达能...
【工作单位】	中国科学技术大学
【曾工作单位】	中国科学技术大学;
【所在地域】	安徽合肥

中国期刊全文数据库 共找到5篇

[1]魏衡华;陈根杰;张玉斌;李隆;.基于CAN总线的步进电机控制系统的设计[J]自动化与仪表.2009,(01)

[2]李隆;陈意云;林春晓;.渐进式标记-清扫垃圾收集机制验证[J]小型微型计算机系统.2009,(09)

[3]郭丽;陈意云;李隆;李兆鹏;.基于Coq构造携带证明的安全程序[J]计算机工程与应用.2006,(21)

[4]项森;陈意云;林春晓;李隆;.动态存储管理安全验证的Coq实现[J]计算机研究与发展.2007,(02)

[5]魏衡华,常国栋,奚宏生,吴汉生,王大欣,李隆.“系统与控制”四级实验教学平台建设[J]实验室研究与探索.2005,(S1)

中国博士学位论文全文数据库 共找到1篇

[1]李隆.使用事务内存同步机制的并行程序验证的研究[D].中国科学技术大学.2008

中国重要会议全文数据库 共找到1篇

[1]魏衡华;常国栋;奚宏生;吴汉生;王大欣;李隆;.“系统与控制”四级实验教学平台建设[A].05'中国自动化产业高峰会议暨中国企业自动化和信息化建设论坛论文集.2005-06-01

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/7	4	4	2	41	1578