Informatica teorica compilers

5

Sto cercando materiale tutorial che copra le prove di correttezza del compilatore, preferibilmente usando metodi denotazionali, a livello di studente di livello iniziale. In alternativa, conosci alcuni semplici esempi di compilatore che potrei usare per illustrare i problemi? (Il primo esempio che mi è venuto in mente è stato un …

20 reference-request pl.programming-languages semantics compilers

2

Qualcuno ha usato la defunzionalizzazione polimorfica di Pottier e Gauthier in un compilatore modulare?

La defunzionalizzazione è una trasformazione del programma che converte i programmi di ordine superiore in programmi del primo ordine. L'idea è che dato un programma, ci sono solo finitamente molte lambda-astrazioni, quindi è possibile sostituire ogni lambda con un id e ogni applicazione di funzione con una chiamata a una …

15 pl.programming-languages compilers

4

Cosa c'è di nuovo nelle tecniche di ottimizzazione del compilatore negli ultimi anni?

Sono interessato all'ottimizzazione del flusso di dati e ai grafici del flusso di controllo e in particolare a un livello di elaborazione più complesso. Ma sarà anche interessante conoscere le ultime invenzioni nel campo delle ottimizzazioni dello spioncino.

14 optimization compilers

1

Il compilatore Stalin ottimizza brutalmente, ma come?

La dichiarazione di ricerca di JM Siskind afferma: Stalin è un compilatore di ottimizzazione per Scheme che esegue analisi statiche dell'intero programma e utilizza i risultati di tale analisi per generare codice estremamente efficiente. Stalin utilizza una vasta collezione di tecniche di analisi statica. Esegue una nuova forma di analisi …

14 compilers

2

Quali sono gli attuali problemi aperti nella teoria dei compilatori?

La teoria del compilatore sembra essere un argomento piuttosto controllato. Quali sono alcuni problemi aperti o ricerche in corso sul campo?

13 soft-question big-list open-problem compilers

2

Il compilatore per il tipo dipendente è molto più difficile di un intero?

Ho imparato qualcosa sull'implementazione di tipi dipendenti, come questo tutorial , ma la maggior parte di essi sta implementando interpreti. La mia domanda è, sembra che l'implementazione di un compilatore per il tipo dipendente sia molto più difficile di un compilatore, perché puoi davvero valutare gli argomenti del tipo dipendente …

11 type-systems compilers dependent-type

1

Riduzione al minimo del programma

La minimizzazione dei circuiti è il problema per ridurre al minimo le dimensioni di un determinato circuito. C'è qualcosa di simile per i programmi generali? In particolare la mia domanda è: Esistono algoritmi per ridurre al minimo il numero di istruzioni per un determinato programma. So che è un problema …

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

1

Letteratura sull'analisi degli alias

Sto scrivendo la tesi di laurea magistrale in CS e sto lavorando con l'analisi alias. La cosa che mi interessa è l'analisi intraprocedurale, sensibile al flusso e alias may per linguaggi simili a Java. Sto cercando testi che descrivono le basi di questo argomento in modo dettagliato ma non sono …

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

2

Compilatore certificato e ottimizzazioni in Coq / Agda

Sono interessato a compilatori verificati formalizzati nella teoria dei tipi di Martin-Löf, ovvero Coq / Agda. Al momento ho scritto un piccolo esempio di giocattolo. In tal modo posso dimostrare che le mie ottimizzazioni sono corrette. Ad esempio, è possibile eliminare le aggiunte con zero, ovvero espressioni come "x + …

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

1

Quali sono le possibili implementazioni delle classi di tipi di Haskell e quali sono i loro (dis) vantaggi?

Per quanto ne so, una funzione di Haskell con vincoli di classi di tipi viene compilata internamente in una funzione con argomenti aggiuntivi che ricevono dizionari con le implementazioni necessarie di ogni particolare classe di tipo. Ci sono altre possibilità come compilare le classi di tipi? In tal caso, quali …

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

Domande taggate «compilers»