退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于证明编译器更正确的更多建议:改进正确的编译器
E. Meijer;
机译:使用逐步索引逻辑关系证明编译器的正确性
机译:自动证明编译器优化的正确性
机译:计算正确的编译器Ⅱ:寄存器返回
机译:关于构造编译器并证明它们正确的建议
机译:确保编译后代码的正确性。
机译:不断证明对立?使用广泛的时间范围并进行折价校正的CPTO测试
机译:有关构造编译器和证明它们正确的建议的更多信息
机译:调整预校正源程序和后校正源程序之间的时间差的方法,编译器和信息处理器
机译:开放编译系统,用于构建安全和正确的计算系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。