Efficient Sharing Analysis for Logic Programs

Author	: Xuan Li
Publisher	:
Total Pages	: 264
Release	: 2007
ISBN-10	: OCLC:144683270
ISBN-13	:
Rating	: 4/5 (70 Downloads)

DOWNLOAD EBOOK

Book Synopsis Efficient Sharing Analysis for Logic Programs by : Xuan Li

Download or read book Efficient Sharing Analysis for Logic Programs written by Xuan Li and published by . This book was released on 2007 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Efficient Sharing Analysis for Logic Programs Related Books

Language: en
Pages: 264

Efficient Sharing Analysis for Logic Programs

Authors: Xuan Li

Categories: Logic programming

Type: BOOK - Published: 2007 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 194

Efficient Implementation of Set-sharing for Logic Programs

Authors: Yuanlin Zhu

Categories: Logic programming

Type: BOOK - Published: 2012 - Publisher:

DOWNLOAD EBOOK

One of the important set-sharing domains, the JL domain [1], represents substitutions [1] by power sets of variables. The JL domain is inefficient due to the hi

Language: en
Pages: 303

Functional and Logic Programming

Authors: Masami Hagiya

Categories: Computers

Type: BOOK - Published: 2006-04-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, i

Language: en
Pages: 842

Logic Programming

Authors: Maria Garcia Banda

Categories: Computers

Type: BOOK - Published: 2008-12-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The

Language: en
Pages:

Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages

Authors: Enea Zaffanella

Categories:

Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK