机译:机器检查的Java类语言,虚拟机和编译器模型
National ICT Australia, University of New South Wales, Sydney NSW 2052, Australia;
java; operational semantics; theorem proving;
机译:Manycore和异构架构的编程模型,语言和编译器
机译:Manycore和异构架构的编程模型,语言和编译器
机译:如果虚拟设备中的所有软件层都在相同的安全,高级语言框架中进行编译怎么办?
机译:派生用于多级语言的编译器和虚拟机
机译:机器语言的谓语理论及其在编译器正确性中的应用。
机译:使用虚拟现实建模语言进行虚拟解剖和下肢运动
机译:机器检查的模型,用于类似Java的语言,虚拟机和编译器