位置：成果数据库 > 期刊 > 期刊详情页
Verification of an Incremental Garbage Collector in Hoare-Style Logic
  • 期刊名称：International Journal of Software and Informatics
  • 时间：0
  • 页码：67-88
  • 语言：中文
  • 相关项目：面向携带证明软件设计的语言、逻辑和证明
作者： 陈意云|华蓓|林春晓|
同期刊论文项目
面向携带证明软件设计的语言、逻辑和证明
期刊论文 35 会议论文 10
同项目期刊论文
验证带有线程的动态创建和退出的多线程程序
一个用于指针程序验证的自动定理证明器的设计与实现
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads (Extended Version)
Automated theorem prover for pointer logic
一个关于程序时间性质的验证框架
一种汇编语言指针逻辑的设计与实现
Certifying concurrent programs using transactional memory
一种用于指针程序验证的指针逻辑
Certification of Thread Context Switching
Formal reasoning about lazy-STM programs
处理指针相等关系不确定的指针逻辑
一种汇编程序的形式验证框架
一种用于指针程序安全性证明的指针逻辑
一个经过证明的类型化汇编语言的类型检查器
一种构造代码安全性证明的方法
一种动态共享数据结构的并发访问控制分析方法
一种含共享变量维持声明的并行程序语言
出具证明编译器中代码优化与程序规范转换
一种面向动态链状数据结构的指针定值引用链算法
一种出具证明编译器中的汇编级断言和证明生成的方法
出具证明编译器中线性整数命题证明的自动生成
一种择优配种的实数编码遗传算法
基于OLAP技术的发电集团战略决策分析系统
用于指针逻辑的自动定理证明器