位置：成果数据库 > 期刊 > 期刊详情页
一个出具证明编译器原型系统的实现
  • ISSN号：1002-8331
  • 期刊名称：计算机工程与应用
  • 时间：0
  • 页码：1230-1236
  • 语言：中文
  • 相关项目：软件安全性的验证和编译
作者： 陈意云|葛琳|华保健|刘诚|
同期刊论文项目
软件安全性的验证和编译
期刊论文 45 会议论文 11
同项目期刊论文
A comparable code obfuscation framework measuring efficiency based on abstract interpretation
A pointer logic and certifying compiler
利用 Java 即时编译器自动外提循环中的同步操作
一个用于指针程序验证的自动定理证明器的设计与实现
一种基于流图变换的代码迷惑算法
Java程序数据竞争的增量式检测
一个关于程序时间性质的验证框架
一种汇编语言指针逻辑的设计与实现
Certifying concurrent programs using transactional memory
一个出具证明编译器后端的设计与实现
渐进式标记-清扫垃圾收集机制验证
安全语言PointerC的设计及形式证明
代码迷惑技术研究进展
DTD可选的XML访问控制研究
带Order子句的XQuery在XML流上的查询实现
一种汇编程序的形式验证框架
一种用于指针程序安全性证明的指针逻辑
一个经过证明的类型化汇编语言的类型检查器
一种构造代码安全性证明的方法
XQuery在XML流上查询的结构化连接
基于语义的恶意软件判定器框架
Automated verification of pointer programs in pointer logic
汇编代码验证中的形式规范自动生成
一个支持位运算形式化推理的抽象机
动态存储管理安全验证的Coq实现
Garbage collector verification for proof-carrying code
即时编译器辅助的垃圾收集中的插桩算法研究
利用Java即时编译器自动外提循环中的同步操作
用于指针逻辑的自动定理证明器
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887