Languages; Theory; Verification; Safety verification; Dependent types; Size properties;
机译:大型嵌入式C程序的精确高效的静态数组绑定检查
机译:在存在间接性的情况下消除Java数组边界检查
机译:ABCD:按需消除阵列边界检查
机译:消除数组绑定检查的实用且精确的推理和专门化器
机译:Java数组边界检查消除的综合方法。
机译:从SNP阵列精确推断肿瘤样品中的拷贝数变化
机译:用于阵列绑定检查消除的实用且精确的推理和专用器
机译:大型嵌入式C程序的精确高效静态数组绑定检测