安全语言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
Design of a Certifying Compiler Supporting Proof of Program Safety
文件格式: PDF大小: 143.71KB页数: 10
A Certified Thread Library for Multithreaded User Programs
文件格式: PDF大小: 190.79KB页数: 10
中国科学技术大学：《数据结构及其算法》课程教学资源（课件讲稿）Ch10 排序（2/2）
文件格式: PDF大小: 196.23KB页数: 3