Szukam materiału instruktażowego, który obejmuje dowody poprawności kompilatora, najlepiej przy użyciu metod denotacyjnych, na poziomie początkującego studenta. Alternatywnie, czy znasz kilka prostych przykładów kompilatora, których mógłbym zilustrować problemy? (Pierwszym przykładem, który...
Defunkcjonalizacja to transformacja programu, która przekształca programy wyższego rzędu w programy pierwszego rzędu. Chodzi o to, że biorąc pod uwagę program, istnieje tylko skończona liczba abstrakcji lambda, więc można zastąpić każdą lambda identyfikatorem, a każdą aplikację funkcji wywołaniem...
Interesuje mnie optymalizacja wykresów przepływu danych i kontroli przepływu, a w szczególności bardziej złożonych obliczeniowo. Interesujące będzie jednak także zapoznanie się z najnowszymi wynalazkami w dziedzinie optymalizacji
Oświadczenie badawcze JM Siskinda stwierdza: Stalin jest optymalizującym kompilatorem programu Scheme, który wykonuje analizę statyczną całego programu i wykorzystuje wyniki tej analizy do generowania wyjątkowo wydajnego kodu. Stalin wykorzystuje duży zbiór technik analizy statycznej. Wykonuje...
Teoria kompilatora wydaje się być dość sprawdzonym przedmiotem. Jakie są otwarte problemy lub aktualne badania w tej
Nauczyłem się czegoś o implementowaniu typów zależnych, takich jak ten samouczek , ale większość z nich to implementacja tłumaczy. Moje pytanie brzmi: wydaje się, że implementacja kompilatora dla typu zależnego jest znacznie trudniejsza niż kompilator, ponieważ naprawdę można ocenić argumenty typu...
Piszę pracę magisterską w CS i pracuję nad analizą aliasów. To, co mnie interesuje, to intraproceduralne, wrażliwe na przepływ analizy must-may-may-alias dla języków podobnych do Java. Poszukuję tekstów, które szczegółowo opisują podstawy tego tematu, ale nie udało mi się znaleźć niczego naprawdę...
Minimalizacja obwodu to problem polegający na zminimalizowaniu rozmiaru danego obwodu. Czy jest coś podobnego do programów ogólnych? W szczególności moje pytanie brzmi - Czy istnieją algorytmy minimalizujące liczbę instrukcji dla danego programu? Wiem, że to nierozstrzygalny problem, ale nie...
O ile mi wiadomo, funkcja Haskella z ograniczeniami klas typów jest wewnętrznie kompilowana do funkcji z dodatkowymi argumentami, które otrzymują słowniki z niezbędnymi implementacjami poszczególnych klas typów. Czy istnieją inne możliwości kompilowania klas typów? Jeśli tak, jakie są ich (nie)...
Interesują mnie sprawdzone kompilatory sformalizowane w teorii typów Martina-Löfa, tj. Coq / Agda. W tej chwili napisałem przykład małej zabawki. Dzięki temu mogę udowodnić, że moje optymalizacje są prawidłowe. Na przykład można wyeliminować dodawanie zerowe, tzn. Wyrażenia takie jak „x + 0”. Czy...