From Algorithms to Working Programs: On the Use of Program Checking in LEDA

From Algorithms to Working Programs: On the Use of Program Checking in LEDA
复制标题

从算法到工作程序：关于 LEDA 中程序检查的使用

DOI：
10.1007/bfb0055759
复制
发表时间：
1998
期刊：
Theor. Comput. Sci.
影响因子：
--
通讯作者：
S. Näher
S. Näher
中科院分区：
--
文献类型：
--
作者：
K. Mehlhorn;S. Näher

文献摘要

被引文献

相似文献

我们报告了在LEDA库中使用高效数据类型和算法的程序检查。
We report on the use of program checking in the LEDA library of efficient data types and algorithms.