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

Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:49912968
ISBN-13 :
Rating : 4/5 (68 Downloads)

Book Synopsis Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages by : Enea Zaffanella

Download or read book Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages written by Enea Zaffanella and published by . This book was released on 2001 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


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

Correctness, Precision and Efficiency in the Sharing Analysis of Real Logic Languages
Language: en
Pages:
Authors: Enea Zaffanella
Categories:
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

Practical Aspects of Declarative Languages
Language: en
Pages: 239
Authors: Pascal van Hentenryck
Categories: Computers
Type: BOOK - Published: 2005-12-23 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10,
Logic Based Program Synthesis and Transformation
Language: en
Pages: 290
Authors: M. Leuschel
Categories: Computers
Type: BOOK - Published: 2003-06-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 20
Static Analysis
Language: en
Pages: 366
Authors: Agostino Cortesi
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i