未分类 - 悲催的科学匠人 - 冷水's blog
Bird-Meertens Formalism
设计与实现分离
自动化实现
设计规则，不考虑实现效率
规则是局部的，不必定义全局的执行规则
规则是相互依赖的，隐式的构成一个全局执行规则
相互依赖的规则被BFM自动连接成为规则图
规则图可进行变形和优化，而具有各种不同的执行效率，但是基础规则相同
设计人员的关注点从错综复杂的全局设计中解放
搞定局部则全局搞定！
处女贴
选择这里是因为这里支持latex，其次这里是纯粹技术迷的小天地。不过有点担忧，这里能够有多长久。
我是研究科学与工程计算的，特别是
，希望开发一些有关大规模计算的基础库。