Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental too...

Full description

Saved in:

Bibliographic Details
Published in:	Science of computer programming Vol. 58; no. 1; pp. 115 - 140
Main Authors:	Hermenegildo, Manuel V., Puebla, Germán, Bueno, Francisco, López-García, Pedro
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.10.2005
Subjects:	(Constraint) Logic programming Abstract interpretation Debugging Global analysis Multi-Paradigm programming Optimization Parallelization Partial evaluation Program development Program transformation Programming environments Resource control Verification (Constraint) Logic programming Global analysis Debugging Program transformation Abstract interpretation Verification Resource control Optimization Programming environments Multi-Paradigm programming Program development Partial evaluation Parallelization
ISSN:	0167-6423, 1872-7964
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!