1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.1145/982158.982160
DC FieldValue
dc.titleAn unfold/fold transformation framework for definite logic programs
dc.contributor.authorRoychoudhury, A.
dc.contributor.authorKumar, K.N.
dc.contributor.authorRamakrishnan, C.R.
dc.contributor.authorRamakrishnan, I.V.
dc.date.accessioned2013-07-04T07:35:21Z
dc.date.available2013-07-04T07:35:21Z
dc.date.issued2004
dc.identifier.citationRoychoudhury, A., Kumar, K.N., Ramakrishnan, C.R., Ramakrishnan, I.V. (2004). An unfold/fold transformation framework for definite logic programs. ACM Transactions on Programming Languages and Systems 26 (3) : 464-509. ScholarBank@NUS Repository. https://doi.org/10.1145/982158.982160
dc.identifier.issn01640925
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/39162
dc.description.abstractAn unfold/fold transformation framework for definite logic programs is presented. Unfold/fold transformations have been widely used for improving program efficiency and for reasoning about programs. Existing unfold/fold transformations for logic programs restrict the application of folding by placing conditions that are sufficient to guarantee the correctness of folding. The proposed framework places no syntactic restriction on the application of folding and it can be used to derive transformation systems. A new transformation system, SCOUT is derived as an instance of the framework and its power relative to the existing transformation systems.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1145/982158.982160
dc.sourceScopus
dc.subjectFolding
dc.subjectInductive theorem proving
dc.subjectLogic programming
dc.subjectProgram transformation
dc.subjectUnfolding
dc.typeArticle
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1145/982158.982160
dc.description.sourcetitleACM Transactions on Programming Languages and Systems
dc.description.volume26
dc.description.issue3
dc.description.page464-509
dc.description.codenATPSD
dc.identifier.isiut000220853700002
Appears in Collections:Staff Publications

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

Google ScholarTM

Check

Altmetric


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