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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming Jg. 30; H. 1; S. 119 - 155
1. Verfasser:	Bagnara, Roberto
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 1998
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!