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

相关作者

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