Pertanyaan yang diberi tag «compilers»

Saya mencari materi tutorial yang mencakup bukti kebenaran kompiler, lebih disukai menggunakan metode denotasi, pada tingkat siswa lulusan awal. Atau, apakah Anda tahu beberapa contoh kompiler sederhana yang dapat saya gunakan untuk menggambarkan masalah? (Contoh pertama yang terpikir oleh saya adalah penerjemah dari infix ke ekspresi postfix. Tetapi gagal menunjukkan …

20 reference-request  pl.programming-languages  semantics  compilers 

Defungsionalisasi adalah transformasi program yang mengubah program tingkat tinggi menjadi program tingkat pertama. Idenya adalah bahwa diberikan suatu program, hanya ada banyak lambda-abstraksi, sehingga Anda dapat mengganti setiap lambda dengan id, dan setiap aplikasi fungsi dengan panggilan ke prosedur yang berlaku yang bercabang pada id itu. Ini kadang - kadang …

15 pl.programming-languages  compilers 

Saya tertarik pada optimalisasi aliran data dan grafik aliran kontrol dan khususnya yang lebih kompleks secara komputasional. Tetapi juga akan menarik untuk mengetahui tentang penemuan terbaru di bidang optimasi lubang intip.

14 optimization  compilers 

Pernyataan penelitian JM Siskind menyatakan: Stalin adalah kompiler pengoptimalisasi untuk Skema yang melakukan analisis statis seluruh program dan menggunakan hasil analisis itu untuk menghasilkan kode yang sangat efisien. Stalin menggunakan banyak koleksi teknik analisis statis. Ini melakukan bentuk baru dari analisis aliran polivarian yang menggunakan analisis aliran monovarian berulang untuk …

14 compilers 

Teori kompiler tampaknya menjadi subjek yang cukup diperiksa. Apa saja masalah terbuka atau penelitian terkini yang terjadi di lapangan?

13 soft-question  big-list  open-problem  compilers 

Saya telah belajar sesuatu tentang menerapkan tipe dependen, seperti tutorial ini , tetapi kebanyakan dari mereka menerapkan juru bahasa. Pertanyaan saya adalah, tampaknya menerapkan kompiler untuk tipe dependen jauh lebih sulit daripada kompiler, karena Anda benar-benar dapat mengevaluasi argumen tipe dependen untuk pengecekan tipe. Begitu Apakah kesan naif saya benar? …

11 type-systems  compilers  dependent-type 

Minimisasi Sirkuit adalah masalah untuk meminimalkan ukuran sirkuit yang diberikan. Apakah ada yang serupa untuk program umum? Khususnya pertanyaan saya adalah - Apakah ada algoritma untuk meminimalkan # instruksi untuk program yang diberikan. Saya tahu ini masalah yang tidak dapat diputuskan, tetapi saya tidak mencari solusi yang mengembalikan sesuatu yang …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

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 menemukan sesuatu yang benar-benar cocok. Saya selamat dari …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Saya tertarik pada kompiler terverifikasi yang diformalkan dalam teori tipe Martin-Löf, yaitu Coq / Agda. Saat ini saya sudah menulis contoh mainan kecil. Dengan demikian saya dapat membuktikan bahwa optimasi saya benar. Misalnya penambahan dengan nol dapat dihilangkan, yaitu ekspresi seperti "x + 0". Adakah optimasi yang sulit dilakukan dengan …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

Sejauh yang saya tahu, fungsi Haskell dengan batasan kelas tipe secara internal dikompilasi ke fungsi dengan argumen tambahan yang menerima kamus dengan implementasi yang diperlukan dari setiap kelas tipe tertentu. Apakah ada kemungkinan lain bagaimana mengkompilasi kelas tipe? Jika demikian, apa kelebihan mereka? Dan kompiler apa yang menggunakannya?

9 pl.programming-languages  functional-programming  compilers  type-systems 

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 saya bahwa kode saya berjalan di O (n ^ 2) (misalnya). Ini …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis 

Saya melihat ke dalam ML untuk menghasilkan kode yang lebih efisien (yaitu mengkompilasi waktu dan menjalankan heuristik waktu). Saya memiliki phd (compiler, hpc), tetapi sangat sedikit pengalaman ML. Saya akan sangat menghargai referensi untuk pekerjaan yang ada. Lebih penting lagi, teknik Pembelajaran Mesin mana yang harus saya jelajahi? setiap sampel …

8 reference-request  optimization  machine-learning  compilers 

Penutupan leksikal adalah teknik implementasi dalam bahasa dengan fungsi kelas satu. Saya tertarik dengan deskripsi operasional sederhana dari penutupan fungsi. Adakah yang tahu deskripsi seperti itu?

8 reference-request  pl.programming-languages  semantics  compilers