Domande taggate «program-optimization»




2
Perché l'assegnazione statica-singola è preferita rispetto allo stile di passaggio di continuazione in molti compilatori utilizzati nel settore?
Secondo la pagina di Wikipedia sull'assegnazione statica-singola (SSA) , SSA viene utilizzata da progetti di grandi dimensioni e ben noti come LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey e V8 mentre la pagina su progetti utilizza lo stile di passaggio di continuazione (CPS) è un po 'carente in confronto. Ho questa …

2
Quali proprietà dei contro consentono l'eliminazione dei contro modulo di ricorsione della coda?
Conosco l'idea dell'eliminazione di base della ricorsione della coda, in cui le funzioni che restituiscono il risultato diretto di una chiamata a se stesse possono essere riscritte come cicli iterativi. foo(...): # ... return foo(...) Comprendo anche che, come caso speciale, la funzione può ancora essere riscritta se la chiamata …



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 …

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.