|
|||||
|
|
| 一个描述内存工作区操作的公理语义方法 | |
| 引用本文： | 许曰滨,张鲁子.一个描述内存工作区操作的公理语义方法[J].青岛大学学报(自然科学版),1997,10(4):54-60. |
| 作者姓名： | 许曰滨 张鲁子 |
| 作者单位： | 青岛大学计算机系(许曰滨)，中科院海洋所(张鲁子) |
| 摘 要： | 本文定义了一个内存工作区处理语言ＭＰＬ，并提出了用于描述语言的形式化方法，作为示例，文中最后给出一个程序部分正确性的验证提纲。 |
| 关 键 词： | 公理语义方法 内存工作区 正确性 程序语言 |
THE ALGORITHMS OF NETWORK SYSTEM CLEANING PROBLEM |
|
| Abstract: | |
| Keywords: | : b-c tree algorithm complexity NP-complete min-cut |
| 本文献已被 CNKI 维普 等数据库收录！ | |