Greg Nelson and Derek C. Oppen. A simplifier based on e#cient decision algorithms. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 141--150, January 1978. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Composing Dataflow Analyses and Transformations - Lerner, Grove, Chambers (2001) (3 citations) (Correct)
....[26] SPARE [27] FIAT [17] McCAT [19] System Z [33] PAG [2] the k tuple dataflow analysis framework [22] and Dwyer and Clarke s system [15] However, none of these systems address integrating transformations with analyses, nor automatically combining analyses profitably. Nelson and Oppen [23] describe how under certain conditions satisfiability programs for several theories can be combined into a satisfiability program for the combined theory. Click and Cooper [9] define formally the circumstances in which two dataflow analyses should be integrated to reach better fixed points than ....
Greg Nelson and Derek C. Oppen. A simplifier based on e#cient decision algorithms. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 141--150, January 1978.
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