Domande taggate «compilers»

Domande sui programmi che leggono il codice in una lingua (lingua di origine) e lo traducono in un programma equivalente in un'altra lingua (lingua di destinazione).

1
Inferenza dei tipi di perfezionamento
Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
3
Introduzione all'analisi del programma
Sto cercando risorse per iniziare con l' analisi del programma . L'unico libro che ho trovato sull'argomento è il libro Nielson & Nielson . Oltre a ciò, sembra che ci siano solo libri "compilatori" in cui "analisi del programma" sarebbe un capitolo o qualcosa del genere. Le persone conoscono altre …
2
Numero minimo teorico di registri per un computer moderno?
Ho seguito un corso sui compilatori nei miei studi universitari in cui abbiamo scritto un compilatore che compila i programmi sorgente in un linguaggio simile a Java giocattolo in un linguaggio di assemblaggio giocattolo (per il quale avevamo un interprete). Nel progetto abbiamo formulato alcune ipotesi sulla macchina target strettamente …
1
Qual è un esempio non inventato di controllo statico del tipo troppo conservativo?
In Concetti nei linguaggi di programmazione , John Mitchell scrive che il controllo statico dei tipi è necessariamente prudente (eccessivamente rigoroso) a causa del problema di Halting. Dà un esempio: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Qualcuno può fornire una risposta non inventata che sarebbe davvero una preoccupazione pratica? Capisco …
3
Equivalenza dell'analisi del flusso di dati, interpretazione astratta e inferenza del tipo?
@La risposta di Babou a una domanda recente mi ricorda che un tempo penso di aver letto un documento sull'equivalenza (in termini di entrambi i fatti che possono essere inferiti o dimostrati e la complessità temporale dell'esecuzione dell'algoritmo di inferenza) dell'analisi del flusso di dati , interpretazione astratta e inferenza …
3
Diagramma a T del Cross Compiler
Sto studiando Bootstrapping da Red Dragon Book Compilers e ho trovato abbastanza confuso il diagramma a T per il compilatore incrociato. Non riesco a capire cosa si intende per "Esegui il compilatore1 attraverso il compilatore2". Qualcuno può fornire qualche spiegazione, analogia o un esempio migliore da mettere in relazione con …
1
Rappresentazione della concatenazione a livello di tipo
Vorrei saperne di più sulla programmazione concatenativa attraverso la creazione di un piccolo linguaggio semplice, basato sullo stack e seguendo il paradigma concatenativo. Sfortunatamente, non ho trovato molte risorse relative ai linguaggi concatenativi e alla loro implementazione, quindi scusami in anticipo per la mia possibile ingenuità. Ho quindi definito il …
2
Assembly writer vs compilatore in architettura VLIW
Ho letto questa frase in un libro: Nell'architettura VLIW, il compilatore / o il writer dell'assembly sceglie le istruzioni che possono essere eseguite in parallelo. Qual è la differenza tra assembly writer e compilatore? Uno scrittore di assemblaggio significherebbe anche lo stesso di assemblatore?
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.