搜索到 篇“ SEAL演算 “的相关文章

相关作者

金英
作品数：38被引量：75H指数：5
供职机构：吉林大学
研究主题：ACTION演算 SEAL演算 程序设计 教学方法研究 实践课程
郑晓娟
作品数：15被引量：18H指数：2
供职机构：吉林大学
研究主题：移动代码 SEAL演算 操作语义 过程式语言 WEB服务体系结构
金成植
作品数：51被引量：73H指数：4
供职机构：吉林大学计算机科学与技术学院
研究主题：函数式语言 程序语言 部分求值 程序设计 MONAD
金龙飞
作品数：11被引量：56H指数：4
供职机构：吉林大学
研究主题：自动生成 本体演化 SEAL演算 可扩展 文法
吴尽昭
作品数：77被引量：165H指数：7
供职机构：广西民族大学
研究主题：英文 异构 PROMELA 形式化验证 任务调度算法