Yüksek lisans tezimi CS'de yazıyorum ve takma ad analizi ile çalışıyorum. İlgilendiğim şey, Java benzeri diller için intra-işlemsel, akışa duyarlı zorunlu ve diğer ad analizidir.
Bu konunun temellerini detaylı bir şekilde tanımlayan ancak gerçekten uygun bir şey bulamayan metinler arıyorum.
Derleyiciler ve statik analiz üzerine birkaç ders kitabından sağ çıktım, ancak orada hiçbir şey bulamadım.
Takma ad analizinin kullanıldığı birçok makale buldum, ancak çoğu takma ad analizinin uygulandığı soruna odaklandı ve takma ad analiz algoritmalarını ayrıntılı olarak tanımlamıyor. Diğerleri, genel işaretçilerin ek karmaşıklığı nedeniyle uygun olmayan C'ye odaklanır.
Bulduğum en iyi metin , Whaley ve Rinard'ın Java Programları için Kompozisyon İşaretçisi ve Kaçış Analizi makalesidir . Parlak bir kağıt ve iyi bir başlangıç noktasıdır, ancak özel olarak takma ad analizini tartışmaz.
Sorun çok genel görünüyor, bu yüzden bunu çözmek için bazı kanonik algoritmalar olmasını bekledim.
Bu konudaki metinlere işaret eden var mı?