SableWiki - Diff: Stage 3 for TM analysis

Differences between current version and previous revision of Stage 3 for TM analysis.

Other diffs: Previous Major Revision, Previous Author

Newer page: version 12 Last edited on February 25, 2007 10:00 pm. by EricBodden
Older page: version 11 Last edited on February 25, 2007 10:00 pm. by EricBodden
@@ -90,27 +90,5 @@
 Determining invariant methods generally means a shift from the shadow-group centric view to a shadow centric view. 
  
 ---- 
  
-!! Agenda for the conference call  
-  
-* Where are the hot shadows? (Patrick)  
-  
-* Notion of invariant methods (Eric)  
-  
-** Never-been stored analysis (Patrick)  
-  
-** MHP analysis (Eric)  
-  
-* Can we easily code a "unique verifier"? (Eric)  
-  
-* Where do we initialize the abstraction? (all)  
-  
-* What is the right abstraction? (all)  
-  
-** Do we need the may flag? (Nomair?)  
-  
-** Why do we need the MustNot set? (Eric)  
-  
-* Can we manage to get it done by the deadline?  
-  
-* *Who does what?*  
+!! [ Agenda for the conference call Feb 27th]