Ini ditulis dalam entri wiki dari Eksekusi Simbolik , tetapi saya tidak dapat menemukan referensi untuk itu. Adakah yang bisa menunjukkan saya pointer? Terima
Baru-baru ini saya tertarik pada masalah umum dalam mengoptimalkan penggunaan memori dalam situasi di mana ada lebih dari satu jenis memori yang tersedia, dan ada pertukaran antara kapasitas segmen memori yang diberikan dan kecepatan mengaksesnya. Contoh yang umum adalah program memutuskan kapan...
Saya menulis tesis master saya di CS dan saya bekerja dengan analisis alias. Hal yang saya tertarik adalah intraprocedural, analisis aliran must-and-alias yang sensitif untuk bahasa mirip Java. Saya mencari teks yang menggambarkan dasar-dasar dari subjek ini secara terperinci tetapi tidak dapat...
Sekarang saya mencoba untuk memahami lebih baik apa "interpretasi abstrak" dalam bahasa pemrograman. Saya menemukan bab buku yang bagus yang menjelaskan gagasan memperluas domain dengan elemen tetap paling sedikit, empat aksioma yang menghasilkan titik tetap untuk fungsi kontinu, dan sebagainya....
Adakah yang berpikir tentang kemungkinan bahasa pemrograman, dan kompiler, sehingga kompiler dapat secara otomatis melakukan analisis asimptotik kasus terburuk? Kasus penggunaan yang ada dalam pikiran saya adalah bahasa pemrograman tempat saya menulis kode, dan kompilasi. Kompilator memberi tahu...