...C代码是一个依赖对,第1个分量是可执行代码;第2个分量是机器安全运行 的证明,它的类型是一个依赖和类型(dependent sum type).在CiC中表示为 FPCC皇(C,Proof> FPCC:ZC.Salty(C). 3.2 TAL推理系统 本节将要介绍的推理系统是一个经过简化的TAL类型...
基于6个网页-相关网页
这真的依赖于您正在进行的变更的范围和类型,不论您应该马上接受与否。
It really depends on the scope and kind of changes you are making whether you should accept right away or not.
冲突可以是好事也可以是坏事,依赖于冲突的类型和冲突双方的回应。
Conflict can be either good or bad depending on the type of conflict and the tact with which it is engaged.
它依赖于预定义的符号和类型定义,并且不容易进行修改或扩展。
It depends on predefined symbol and type definitions and is not easily modified or extended.
应用推荐