Demand transformation analysis for concurrent constraint programs

This paper presents a demand transformation analysis that maps a predicate's output demands to its input demands. This backward dataflow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation. In the context of stream parallelism, this analysis id...

Celý popis

Podrobná bibliografie

Vydáno v:	The journal of logic programming Ročník 42; číslo 3; s. 185 - 215
Hlavní autoři:	Falaschi, Moreno, Hicks, Patrick, Winsborough, William
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 2000
ISSN:	0743-1066, 1873-5789
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!