From: dot@dotat.at   
      
   Matthias-Christian Ott  wrote:   
   >   
   >Suppose we have a goto-free, pointer-less, static strongly typed   
   >programming language without any binary libraries (so all source code   
   >is available at compile time).   
   >   
   >Then we could construct the control flow graph for the entire programme.   
   >   
   >Couldn't we than statically (of course depending on conditions during   
   >runtime) determine the locations for the appropriate malloc() and free()   
   >calls, depending on if a referenced object is no longer used?   
      
   Yes. The technique is called "region inference".   
      
   Tony.   
   --   
   f.anthony.n.finch    http://dotat.at/   
   PORTLAND PLYMOUTH BISCAY: WESTERLY OR NORTHWESTERLY 5 TO 7, VEERING   
   NORTHEASTERLY 4 OR 5 LATER IN SOUTH BISCAY. MODERATE OR ROUGH. RAIN BECOMING   
   MAINLY FAIR. MODERATE OR GOOD.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)