द्वारा कार्यक्रम ifa.sf.net

आईएफए, इटेरेटिव फ्लो एनालिसिस एक संयुक्त डेटा-फ्लो और कंट्रोल फ्लो एनालिसिस है । यह ठोस प्रकार को हल करने में सक्षम है (नाममात्र के विपरीतया घोषित प्रकार) और स्थिर या गतिशील रूप से टाइप किए गए कार्यक्रमों के लिए इंटरप्रोसे