Experiment of Automatic Interval Domain Specification by Static Analysis

������������ ������������ ������ ��������� ��������� ������������ ������������ ������������ ������������. ��������� ������������ ������ ��������� ��� ������������ ���������. ������������ ������������ ������ ��������� ��� ��� ������ ������������������ ������ ������ ��������� ��������� ��� ������. ������ ��������������� ������ ������������ ��������� ������������ ��������������� ������������ ������������ ��������� ��������� ������ ������������ ������������������ ������ ������ ������ ��������� ������������ ������ ���������. ��� ��������������� ������������������ ������������ ������ ��������� ������������ ������ ������ ��������������� ���������������. ��� ������ ������ ������ ������ ������������������ ������ ��������� ������������ ������ ��� ���������