文章基本信息

标题：Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems
本地全文：下载
作者：Zuo, Zhengkang ; Xue, Jinyun ; Wang, Changjing 等
期刊名称：Journal of Networks
印刷版ISSN：1796-2056
出版年度：2013
卷号：8
期号：5
页码：1050-1057
DOI：10.4304/jnw.8.5.1050-1057
语种：English
出版社：Academy Publisher
摘要：Generic programming has emerged as a paradigm for the development of highly reusable and safe software libraries. Generic constraint mechanism can detect and verify the validity of generic parameter instantiated, thereby guarantee dependability and safety of generic programming. Kleene algorithm is ingenious for solving general network path problems but there is a lack of research concerning how to verify the closed semi-ring constraint of the algorithm. First, the paper describes the related works of generic constraints. Next, based on a new description of generic constraints of Apla language by means of algebraic structures, presents the case of generic Kleene algorithm, which is hard to describe and verify its constraint by the current method. Then, with the help of Isabelle theorem prover, verifies closed semi-ring constraint of Kleene algorithm. Finally, transforms the Apla programs of generic Kleene algorithm to C++ codes automatically based on C++ generator. Success in this example gives us more evidence that the approach does not only support for appropriate semantic constraints, but also markedly improves dependability and safety of generic programming.
关键词：generic programming;constraint verification;closed semi-ring;Kleene algorithm;algebraic structures