JuliaSoft SRL Verona Italy;
Univ. Ca' Foscari di Venezia Venice Italy;
Java; Tools; Static analysis; C# languages; Libraries; Semantics; Software;
机译:从CIL到Java字节码:基于语义的翻译,可利用静态分析
机译:直立的静态骨盆姿势,从三个二维数字图像中以三维形式旋转和平移:计算机分析的验证。
机译:选择性杠杆系统齿轮系的静态和动态分析
机译:CIL到Java-Bytecode翻译用于静态分析利用
机译:分析拟南芥AIR12和芸苔CIL1的根发育和对非生物胁迫的响应。
机译:拟南芥CIA2和CIL蛋白的序列分析和蛋白相互作用
机译:从CIL到Java Bytecode:基于语义的静态分析转换杠杆分析