A Translation-based Approach to the Verification of Modular Equivalence (2007)
AUTHORS:
Oikarinen Emilia
,
Janhunen Tomi
BOOKTITLE:
Proceedings of the 4th Workshop on Answer Set Programming; Advances in Theory and Implementation (ASP 2007)
PAGES:
255-269
URL:
http://www.tcs.hut.fi/~eoikarin/publications.shtml
@inproceedings{ OJ07:asp, editor = "Costantini, Stefania and Watson, Richard", author = "Oikarinen, Emilia and Janhunen, Tomi", title = "A Translation-based Approach to the Verification of Modular Equivalence", url = "http://www.tcs.hut.fi/~eoikarin/publications.shtml", booktitle = "Proceedings of the 4th Workshop on Answer Set Programming; Advances in Theory and Implementation (ASP 2007)", address = "Porto, Portugal", abstract = "In this paper, a method for verifying the equivalence of logic program modules under a Gaifman-Shapiro-style module architecture is proposed. 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. Preliminary results indicate that at least in certain cases the overall time spent on verification tasks can be reduced through modularization.", month = "September", flags = "ACPT public", year = "2007", pages = "255-269" }