退出
我的积分:
中文文献批量获取
外文文献批量获取
梅宏; 孙永强;
上海交通大学计算机系;
程序设计; 动态检查; 面向对象;
机译:附类型面向对象语言及其动态类型检查
机译:强附类型和动态类型检查
机译:动态类型语言中的体系结构一致性检查
机译:对动态类型的面向对象语言进行度量的算术运算
机译:为类型化的面向对象语言设计类型推断。
机译:韩国成年人的空气污染和肺癌的组织学类型(按组织学类型):韩国国家健康保险局健康检查人群研究
机译:DTL:一种演绎和类型化的面向对象语言
机译:类型检查器,用于面向对象语言的类型化中间表示
机译:用于动态类型语言的代码检查辅助的方法,系统,制造物品和设备
机译:动态类型检查的实现方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。