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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The journal of logic programming Jg. 42; H. 3; S. 185 - 215
Hauptverfasser:	Falaschi, Moreno, Hicks, Patrick, Winsborough, William
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 2000
ISSN:	0743-1066, 1873-5789
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!