An unfold/fold transformation framework for definite logic programs

10.1145/982158.982160

Saved in:

Bibliographic Details
Main Authors:	Roychoudhury, A., Kumar, K.N., Ramakrishnan, C.R., Ramakrishnan, I.V.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Folding Inductive theorem proving Logic programming Program transformation Unfolding
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39162
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39162
record_format	dspace
spelling	sg-nus-scholar.10635-391622023-10-26T21:34:24Z An unfold/fold transformation framework for definite logic programs Roychoudhury, A. Kumar, K.N. Ramakrishnan, C.R. Ramakrishnan, I.V. COMPUTER SCIENCE Folding Inductive theorem proving Logic programming Program transformation Unfolding 10.1145/982158.982160 ACM Transactions on Programming Languages and Systems 26 3 464-509 ATPSD 2013-07-04T07:35:21Z 2013-07-04T07:35:21Z 2004 Article Roychoudhury, 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 01640925 http://scholarbank.nus.edu.sg/handle/10635/39162 000220853700002 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Folding Inductive theorem proving Logic programming Program transformation Unfolding
spellingShingle	Folding Inductive theorem proving Logic programming Program transformation Unfolding Roychoudhury, A. Kumar, K.N. Ramakrishnan, C.R. Ramakrishnan, I.V. An unfold/fold transformation framework for definite logic programs
description	10.1145/982158.982160
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Roychoudhury, A. Kumar, K.N. Ramakrishnan, C.R. Ramakrishnan, I.V.
format	Article
author	Roychoudhury, A. Kumar, K.N. Ramakrishnan, C.R. Ramakrishnan, I.V.
author_sort	Roychoudhury, A.
title	An unfold/fold transformation framework for definite logic programs
title_short	An unfold/fold transformation framework for definite logic programs
title_full	An unfold/fold transformation framework for definite logic programs
title_fullStr	An unfold/fold transformation framework for definite logic programs
title_full_unstemmed	An unfold/fold transformation framework for definite logic programs
title_sort	unfold/fold transformation framework for definite logic programs
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39162
_version_	1781410982015270912

An unfold/fold transformation framework for definite logic programs

Similar Items