PAOLA  is  a  collaboration  between  University  of  Klagenfurt  (Austria)  and
University  of  Jena (Germany).  The  main focus  of  the PAOLA  project  is the
development of new techniques for program analysis of object-oriented languages.