A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages

Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation progresses. Our basic claim is that most, if not all, of these analyses can be described within a unified notion of cons...

Full description

Bibliographic Details

Published in:	Science of computer programming Vol. 30; no. 1; pp. 119 - 155
Main Author:	Bagnara, Roberto
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 1998
Subjects:	Abstract interpretation Constraint systems Constraint-based languages Data-flow analysis Constraint systems Abstract interpretation Data-flow analysis Constraint-based languages
ISSN:	0167-6423, 1872-7964
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!