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

相关作者

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