退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:类型作为抽象解释
Patrick Cousot;
机译:静态型分析通过抽象解释Python计划
机译:基于抽象解释的程序分析框架<重点类型=“斜体”> TCCP Emphasis>
机译:使用大小类型的抽象解释通过逻辑程序进行资源使用分析
机译:通过抽象解释基于语言的安全性的新挑战改造抽象解释
机译:自动化抽象机器的抽象解释
机译:开发被动的抽象表示:来自双语儿童对被动建设的解释的证据
机译:Java灵活抽象解释的类型和效果系统(扩展抽象)
机译:软件组件组装所需的一些设计约束:将原子抽象类型合并到一般结构化的抽象类型中
机译:具有同余抽象域和/或堆继承抽象域的抽象解释
机译:个人移动通信中如何定义抽象数据类型以及如何执行抽象数据类型虚拟过程
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。