A couple of sentences on the most relevant related work requested by reviewer 3
authorJoao Dias <dias@cs.tufts.edu>
Tue, 20 Jul 2010 20:58:23 +0000 (16:58 -0400)
committerJoao Dias <dias@cs.tufts.edu>
Tue, 20 Jul 2010 20:58:23 +0000 (16:58 -0400)
paper/dfopt.tex

index 46202dd..2e99339 100644 (file)
@@ -2834,10 +2834,16 @@ Each~client of \hoopl\ must guarantee monotonicity.
 \fi
 introduce abstract interpretation as a technique for developing
 lattices for program analysis.
-\citet{schmidt:data-flow-analysis-model-checking} shows that
+\citet{steffen:data-flow-analysis-model-checking:1991} shows that
+a dataflow analysis can be implemented using model checking;
+\citet{schmidt:data-flow-analysis-model-checking}
+expands on this~result by showing that
 an all-paths dataflow problem can be viewed as model checking an
 abstract interpretation.
 
+\citet{marlowe-ryder:properties-data-flow-frameworks} 
+present a survey of different methods for performing dataflow analyses,
+with emphasis on theoretical results.
 \citet{muchnick:compiler-implementation} 
 presents many examples of both particular analyses and related
 algorithms.