@ Babou'nun yakın zamandaki bir soruya vereceği cevap , bir keresinde veri akışı analizinin denkliği (hem çıkarılabilir veya kanıtlanabilir gerçekler hem de çıkarım algoritmasını çalıştırmanın zaman karmaşıklığı açısından) hakkında bir makale okuduğumu hatırlatıyor , soyut yorumlama ve tür çıkarımı .
Bazı alt durumlarda (ileri bağlama duyarlı prosedürler arası veri akışı analizi ve soyut yorumlama gibi) denklik benim için nispeten açıktır, ancak soru diğer karşılaştırmalar için daha belirsiz görünmektedir. Örneğin, Hindley-Milner tipi çıkarımın akışa duyarlı veri akışı analizi ile kanıtlanabilecek bazı özellikleri kanıtlamak için nasıl kullanılabileceğini anlayamıyorum .
Veri akışı analizi, soyut yorumlama ve tür çıkarımı arasındaki denklikleri (veya farklılıkları) tartışan seminal referanslar nelerdir?