程序精化相关论文
该文的主要内容围绕DPaPD模型的提出,探讨了模型、方法、语言、系统、实现等有关问题.该文的具体贡献包括(1)提出了DPaPD模型的思......
Julia语言是一种在MIT许可证下免费的开发中脚本语言（beta 0.2.0）,目标是降低并行程序的编程难度.基于Julia现有语法机制,逐步增强Ju......
Carroll Morgan的规则精化方法是一种典型的程序精化方法,是一种形式方法.本文用互逆主义逻辑对其进行了改造:将其中的精化法则改......
形式化方法把程序看成规范,形式化开发方法包括形式规范和规范（程序）的精化。精化演算方法能够通过演算的方式,把规范逐步精化为程序......
