...
机译:用于反编译的系统F的内部模型
Typed λ-calculus; System F; Semantics of polymorphism; Compiler; Decompiler; De Bruijn level;
机译:用于反编译的系统F的内部模型
机译:关联模型和非关联模型的二元系统的内部压力,超额内部压力和伪格林尼森参数
机译:内燃发动机风道系统中的波作用效应建模:数值和系统动力学方法的比较
机译:系统F _(?η)的内部归一化,编译和反编译
机译:用于可压缩流体流系统的系统动力学建模方法,应用于内燃机。
机译:基于六次应急评分系统预测急诊部中医院死亡率的模型预后性能的内部验证与比较
机译:用于反编译的系统F的内部模型