Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-04244-7_37
DC FieldValue
dc.titleAn interpolation method for CLP traversal
dc.contributor.authorJaffar, J.
dc.contributor.authorSantosa, A.E.
dc.contributor.authorVoicu, R.
dc.date.accessioned2013-07-04T08:19:41Z
dc.date.available2013-07-04T08:19:41Z
dc.date.issued2009
dc.identifier.citationJaffar, J.,Santosa, A.E.,Voicu, R. (2009). An interpolation method for CLP traversal. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5732 LNCS : 454-469. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-04244-7_37" target="_blank">https://doi.org/10.1007/978-3-642-04244-7_37</a>
dc.identifier.isbn3642042430
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/41103
dc.description.abstractWe consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate exploration. Typically, only actually traversed goals are memoed in the table. In this paper we present a method where, upon the successful traversal of a subgoal, a generalization of the subgoal is memoed. This enlarges the record of already traversed goals, thus providing more pruning in the subsequent search process. The key feature is that the abstraction computed is guaranteed not to give rise to a spurious path that might violate the target property. A driving application area is the use of CLP to model the behavior of other programs. We demonstrate the performance of our method on a benchmark of program verfication problems. © 2009 Springer Berlin Heidelberg.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-04244-7_37
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1007/978-3-642-04244-7_37
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume5732 LNCS
dc.description.page454-469
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

33
checked on Mar 25, 2020

Page view(s)

90
checked on Mar 22, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.