搜索到 篇“ APLA语言 “的相关文章

相关作者

薛锦云
作品数：140被引量：569H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
汪雄
作品数：4被引量：3H指数：1
供职机构：江西师范大学
研究主题：PAR平台 PAR方法 APLA语言 泛型 并发
骆健
作品数：2被引量：5H指数：1
供职机构：江西师范大学
研究主题：JAVA语言 APLA语言 PAR方法 APLA-JAVA 程序设计
游珍
作品数：23被引量：58H指数：6
供职机构：江西师范大学
研究主题：定理证明器 PAR方法 ISABELLE 循环不变式 形式化验证
左正康
作品数：49被引量：67H指数：6
供职机构：江西师范大学
研究主题：机械化 APLA 循环不变式 定理证明器 形式化证明