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

Full description

Saved in:

Bibliographic Details
Published in:	The journal of logic programming Vol. 42; no. 3; pp. 185 - 215
Main Authors:	Falaschi, Moreno, Hicks, Patrick, Winsborough, William
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 2000
ISSN:	0743-1066, 1873-5789
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!