位置：成果数据库 > 期刊 > 期刊详情页
利用 Java 即时编译器自动外提循环中的同步操作
  • ISSN号：1001-8719
  • 期刊名称：石油学报(石油加工)
  • 时间：0
  • 页码：257-263
  • 语言：中文
  • 相关项目：软件安全性的验证和编译
作者： 张昱|史成荣|
同期刊论文项目
软件安全性的验证和编译
期刊论文 45 会议论文 11
同项目期刊论文
A comparable code obfuscation framework measuring efficiency based on abstract interpretation
A pointer logic and certifying compiler
一个用于指针程序验证的自动定理证明器的设计与实现
一种基于流图变换的代码迷惑算法
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即时编译器自动外提循环中的同步操作
用于指针逻辑的自动定理证明器
期刊信息
  • 《石油学报（石油加工）》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学技术协会
  • 主办单位:中国石油学会
  • 主编：汪燮卿
  • 地址：北京海淀区学院路18号
  • 邮编：100083
  • 邮箱：syxb8282.ripp@sinopec.com syxb8282@163.com
  • 电话：010-62310752 82368282
  • 国际标准刊号：ISSN：1001-8719
  • 国内统一刊号：ISSN：11-2129/TE
  • 邮发代号:82-332
  • 获奖情况:
  • 中国石油和化学工业协会优秀期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,荷兰文摘与引文数据库,美国工程索引,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:10336