code-level cryptographic analysis; language-based security; noninterference; program analysis;
机译:Java编程学习助手系统中Java集合框架的代码编写问题中的信息测试代码方法
机译:轻量级同步Java(SJL):一种使用Java编程确定性反应系统的方法
机译:Java-MaC:Java程序的运行时保证方法
机译:证明Java程序互不干扰的混合方法
机译:一种基于Java GUI的学生程序的自动评分方法。
机译:结合基因表达编程和遗传算法作为梨砧木组织培养基配方的强大混合建模方法
机译:一种证明Java程序不干涉的混合方法