Tarafından Programlar ifa.sf.net

IFA, Yinelemeli Akış Analizi kombine bir veri akışı ve kontrol akışı analizidir. Bu beton türleri çözme yeteneğine sahiptir (nominal aksineveya beyan edilen türler) ve statik veya dinamik olarak yazılan programlar için yor