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

Vydané v:	The journal of logic programming Ročník 42; číslo 3; s. 185 - 215
Hlavní autori:	Falaschi, Moreno, Hicks, Patrick, Winsborough, William
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 2000
ISSN:	0743-1066, 1873-5789
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!