A Translation-based Approach to the Verification of Modular Equivalence.
Saved in:
| Title: | A Translation-based Approach to the Verification of Modular Equivalence. |
|---|---|
| Authors: | OIKARINEN, EMILIA1 Emilia.Oikarinen@tkk.fi, JANHUNEN, TOMI1 Tomi.Janhunen@tkk.fi |
| Source: | Journal of Logic & Computation. Aug2009, Vol. 19 Issue 4, p591-613. 23p. 3 Black and White Photographs, 5 Charts. |
| Subjects: | Modular programming, Computer programming, Computer architecture, Logic programming, Computer software |
| Abstract: | The goal of this article is to foster modular program development in answer set programming using a Gaifman-Shapiro-style module architecture. More specifically, a method for verifying the equivalence of logic program modules is devised and proved correct. The idea is to adapt a translation-based verification technique, which was originally devised for complete programs only, for program modules. In addition, optimization strategies are addressed in order to exploit the modular structure of programs in verification tasks. A number of experiments on verification strategies are also conducted using LPEQ which implements the verification method for the SMODELS system. The preliminary experimental results reported in this article suggest that the modularization of equivalence verification leads to potential time savings especially if the modules involved share a common context. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
