Static analysis; Coding standards; LLVM; Clang;
机译:在对象约束编程语言中检查和平衡约束求解而不会感到惊讶
机译:在对象约束编程语言中检查和平衡约束求解而不会感到惊讶
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:C和C ++编程语言约束的可定制语义检查的静态分析用法
机译:一个集成的静态和动态程序分析框架,用于检查与并发相关的编程错误。
机译:化学信息学和计算化学中的C ++编程语言
机译:基于范围图的静态语义分析约束语言