Kyoto University, Japan;
Hitachi, Ltd., Japan;
机译:机器检查的Java类语言,虚拟机和编译器模型
机译:如果虚拟设备中的所有软件层都在相同的安全,高级语言框架中进行编译怎么办?
机译:将SQL编译为System / 370机器语言
机译:为多级语言派生编译器和虚拟机
机译:机器语言的谓语理论及其在编译器正确性中的应用。
机译:基于来自低频振荡的中风后功能连接的机器学习分类识别亚临床语言缺陷
机译:机器检查的模型,用于类似Java的语言,虚拟机和编译器
机译:ada编译器验证摘要报告:证书编号89020W1.10073:国际商业机器公司,用于ada语言的IBm开发系统,Vm / Cms ada编译器,版本2.1.1,IBm 3083(主机和目标)