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

Celý popis

Podrobná bibliografia

Vydané v:	Science of computer programming Ročník 30; číslo 1; s. 119 - 155
Hlavný autor:	Bagnara, Roberto
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 1998
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!