机译:安全编译的正式方法:完全抽象编译和相关工作的概述
Stanford Univ Comp Sci Dept 353 Serra Mall Stanford CA 94301 USA|CISPA Saarbrucken Germany;
Northeastern Univ Coll Comp & Informat Sci 328 West Village H 360 Huntington Ave Boston MA 02115 USA;
Uppsala Univ Uppsala Sweden;
Secure compilation; fully abstract compilation; type preserving compilation; contextual equivalence; program equivalence;
机译:Smart 2011第五届统计与机器学习架构与编译方法研讨会
机译:使用形式化方法进行网络验证和测试的调查:方法和挑战
机译:在无线传感器网络中使用熵收集的安全密钥设计方法:一项调查
机译:关于SDL-2000的正式语义:基于抽象SDL机器的编译方法
机译:经验证的功能程序编译的高阶抽象语法方法。
机译:摘要:乳头-动脉复合体重建:取得自然结果的技术汇编
机译:演示摘要:无线传感器网络中字节码的运行时编译
机译:通讯网络。第一部分苏联文学评论:摘要汇编