一种用于指针程序验证的指针逻辑 Pointer logic for verification of pointer programs
文件格式: PDF大小: 396.9KB页数: 12
《软件学报》：用于指针逻辑的自动定理证明器 Automated theorem prover for pointer logic
文件格式: PDF大小: 300.18KB页数: 14
Certifying Concurrent Programs Using Transactional Memory
文件格式: PDF大小: 467.14KB页数: 12
安全语言PointerC的设计及形式证明 Design and proof of a safe programming language Pointer
文件格式: PDF大小: 435.92KB页数: 9
A pointer logic and certifying compiler
文件格式: PDF大小: 286.21KB页数: 26
Garbage collector verification for proof-carrying code
文件格式: PDF大小: 681.38KB页数: 12
Foundational Typed Assembly Language with Certified Garbage Collection
文件格式: PDF大小: 209.13KB页数: 10