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

相关作者

薛锦云
作品数：137被引量：557H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
汪雄
作品数：4被引量：2H指数：1
供职机构：江西师范大学
研究主题：APLA语言 PAR平台 PAR方法 泛型 并发
骆健
作品数：2被引量：5H指数：1
供职机构：江西师范大学
研究主题：JAVA语言 APLA语言 PAR方法 APLA-JAVA 程序设计
游珍
作品数：16被引量：48H指数：5
供职机构：江西师范大学
研究主题：PAR方法 循环不变式 形式化验证 非递归算法 ISABELLE
左正康
作品数：38被引量：58H指数：5
供职机构：江西师范大学计算机信息工程学院
研究主题：APLA 循环不变式 形式化证明 泛型 泛型程序设计