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á bibliografie

Vydáno v:	Science of computer programming Ročník 30; číslo 1; s. 119 - 155
Hlavní autor:	Bagnara, Roberto
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 1998
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!