M. Falaschi, P. Hicks, and W. Winsborough. Demand Transformation Analysis for Concurrent Constraint Programs. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, pages 333--347. The MIT Press, 1996. 31 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Termination Analysis for Mercury - Speirs, Somogyi, Søndergaard (1997) (25 citations) (Correct)
.... inspiration was the work by Plumer [16] and Groger and Plumer s handling of mutual recursion [10] We have obtained greatly improved results by enhancing the basic method with two kinds of usage analysis , a process somewhat similar to the demand analysis of Falaschi, Hicks and Winsborough [9]. In Stage 1 we track input variables whose sizes contribute to the sizes of the output variables, while in Stage 2 we track input variables whose sizes contribute to the sizes of the input variables in recursive calls. In both cases we achieve precise information by iterating to a fixed point. An ....
Moreno Falaschi, Patrick Hicks, and William Winsborough. Demand transformation analysis for concurrent constraint programs. In M. Maher, editor, Proc. Joint Int. Conf. Symp. Logic Programming, pages 333---347. MIT Press, 1996.
Demand Transformation Analysis for Concurrent Constraint.. - Falaschi, Hicks.. (1994) (1 citation) Self-citation (Falaschi Hicks Winsborough) (Correct)
....Although abstract interpretation has been applied to concurrent constraint programming (CCP) 4, 3, 5, 11, 27, 36] for many other applications, to our knowledge it has never been used in CCP or logic programming for context analysis. A preliminary presentation of the current research appeared as [15]. Organization is as follows. Section 2 reviews the set of Herbrand constraints and the powerdomain construction yielding our concrete domain of interpretation. It further reviews the syntax and semantics of CCP. Section 3 presents the abstract domain used in the construction of our ....
M. Falaschi, P. Hicks, and W. Winsborough. Demand Transformation Analysis for Concurrent Constraint Programs. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, pages 333--347. The MIT Press, 1996. 31
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC