搜索到 篇“ 移动代码 “的相关文章

相关作者

郭帆
作品数：17被引量：15H指数：2
供职机构：中国科学技术大学
研究主题：移动代码 内存 系统默认 安全检查 类型化
郑晓娟
作品数：15被引量：18H指数：2
供职机构：吉林大学
研究主题：移动代码 SEAL演算 操作语义 过程式语言 WEB服务体系结构
陈意云
作品数：133被引量：643H指数：16
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
胡荣贵
作品数：47被引量：123H指数：6
供职机构：解放军电子工程学院
研究主题：单片机 移动代码 模拟训练系统 网络仿真 网络安全
金英
作品数：38被引量：75H指数：5
供职机构：吉林大学
研究主题：ACTION演算 SEAL演算 程序设计 教学方法研究 实践课程