«compilers» etiketlenmiş sorular

Başlangıç ​​düzeyindeki bir öğrenci düzeyinde derleyici doğruluk kanıtlarını, tercihen seslendirme yöntemlerini kullanarak öğretici materyal arıyorum. Alternatif olarak, sorunları göstermek için kullanabileceğim bazı basit derleyici örneklerini biliyor musunuz? (Bana gelen ilk örnek, infix'ten postfix ifadelerine bir çevirmenti. Ancak sözdiziminde indüksiyonun nasıl yapılacağı dışında ilginç bir şey gösteremedi.)

20 reference-request  pl.programming-languages  semantics  compilers 

İşlevselleştirme , üst düzey programları birinci dereceden programlara dönüştüren bir program dönüşümüdür. Fikir, bir program verildiğinde, sadece son derece çok sayıda lambda soyutlaması vardır, böylece her lambda'yı bir id ile değiştirebilirsiniz ve her fonksiyon uygulaması, o kimliğe dallanan bir uygulama prosedürüne çağrı ile değiştirilebilir. Bu bazen derleyici olarak işlevsel diller …

15 pl.programming-languages  compilers 

Veri akışı ve kontrol akış grafiklerinin optimizasyonu ve özellikle daha hesaplama açısından karmaşıkım. Ancak, gözetleme deliği optimizasyonları alanındaki en son icatları bilmek de ilginç olacaktır.

14 optimization  compilers 

JM Siskind'in araştırma bildirisinde şunlar belirtiliyor: Stalin, tüm program statik analizi yapan ve son derece verimli kod üretmek için bu analiz sonuçlarını kullanan Scheme için optimize edici bir derleyicidir. Stalin geniş bir statik analiz teknikleri koleksiyonu kullanır. Akışa yönelik bölünmeyi gerçekleştirmek için yinelenen monovaryant akış analizini kullanan yeni bir polivaryant …

14 compilers 

Derleyici teorisi oldukça incelenmiş bir konu gibi görünmektedir. Alanda meydana gelen bazı açık problemler veya güncel araştırmalar nelerdir?

13 soft-question  big-list  open-problem  compilers 

Bu öğretici gibi bağımlı türlerin uygulanması hakkında bir şeyler öğreniyorum , ancak çoğu tercüman uyguluyor. Benim sorum, bir derleyici bağımlı tür için uygulamak bir derleyiciden çok daha zor gibi görünüyor, çünkü gerçekten tür denetimi için bağımlı tür bağımsız değişkenleri değerlendirebilirsiniz. Yani Benim saf izlenimim doğru mu? Doğruysa, bağımlı türü destekleyen …

12 type-systems  compilers  dependent-type 

Devre Minimizasyonu , verilen bir devrenin boyutunu en aza indirmek için problemdir. Genel programlar için benzer bir şey var mı? Özellikle benim sorum - Belirli bir program için talimatların # sayısını en aza indirecek algoritmalar var mı? Bu karar verilemez bir sorun olduğunu biliyorum ama optimal bir şey döndüren bir …

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

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, …

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

Martin-Löf tipi teoride, yani Coq / Agda'da resmileştirilmiş doğrulanmış derleyicilerle ilgileniyorum. Şu anda küçük bir oyuncak örneği yazdım. Böylece optimizasyonlarımın doğru olduğunu kanıtlayabilirim. Örneğin, sıfır ile yapılan ilaveler ortadan kaldırılabilir, yani "x + 0" gibi ifadeler. Düzenli bir derleyici ile gerçekleştirilmesi zor, iyi bir örnek olacak optimizasyonlar var mı? Bir …

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

Bildiğim kadarıyla, tip sınıfları kısıtlamaları olan bir Haskell işlevi dahili olarak, her bir belirli sınıf sınıfının gerekli uygulamaları ile sözlükler alan ek argümanlara sahip bir işleve derlenir. Sınıf sınıflarını derlemenin başka olasılıkları var mı? Eğer öyleyse, (dis) avantajları nelerdir? Ve hangi derleyiciler bunları kullanıyor?

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