Bu, Symbolic Execution'un wiki girişinde yazılmıştır , ancak bunun için herhangi bir referans bulamıyorum. Biri bana bir işaretçi gösterebilir mi? Teşekkür ederim.
Kısa bir süre önce, birden fazla bellek türünün mevcut olduğu ve belirli bir bellek bölümünün kapasitesi ile bu belleğe erişme hızı arasında bir değişimin olduğu bir durumda bellek kullanımını optimize etme genel sorunuyla ilgilenmeye başladım. Bilinen örnek, işlemci önbelleği, RAM ve sabit sürücüden ne zaman okunacağına / yazacağına karar veren …
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, …
Şimdi programlama dillerinde "soyut yorum" un ne olduğunu daha iyi anlamaya çalışıyorum. Alanın en az sabit bir elemanla genişletilmesi fikrini, sürekli bir fonksiyon için sabit bir nokta veren dört aksiyomu vb. Açıklayan iyi bir kitap bölümü buldum. Bu teknik detayları anlıyorum (bu şemada “soyut yorum” un tam olarak neyi ifade …