From: n.oje.bar@gmail.com   
      
   Hello,   
      
   Suppose you want to translate an imperative language (e.g. a suitable   
   subset of Pascal) into a functional language that does not have   
   mutable variables (e.g. ML). Is this possible? What would be the   
   algorithms/theory that would be relevant to handle the mutability of   
   the variables on the Pascal side? Is SSA relevant?   
      
   Thanks!   
   N   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)