Demand transformation analysis for concu
โ
Moreno Falaschi; Patrick Hicks; William Winsborough
๐
Article
๐
2000
๐
Elsevier Science
๐
English
โ 309 KB
This paper presents a demand transformation analysis that maps a predicate's output demands to its input demands. This backward dataยฏow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation. In the context of stream parallelism, this analysis identiยฎe