Domande taggate «program-analysis»

L'esecuzione simbolica è un caso di interpretazione astratta?

Questo è scritto nella voce wiki di Symbolic Execution , ma non riesco a trovare alcun riferimento per questo. Qualcuno può mostrarmi un puntatore? Grazie.

15 reference-request lo.logic program-analysis

Qual è lo stato dell'arte nella teoria dell'algoritmo cache?

Di recente mi sono interessato al problema generale dell'ottimizzazione dell'utilizzo della memoria in una situazione in cui è disponibile più di un tipo di memoria e c'è un compromesso tra la capacità di un determinato segmento di memoria e la velocità di accesso ad essa. L'esempio familiare è un programma …

14 optimization program-analysis

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

Qual è l'obiettivo dietro l'interpretazione astratta nei linguaggi di programmazione?

Ora sto cercando di capire meglio quale sia "l'interpretazione astratta" nei linguaggi di programmazione. Ho trovato un buon capitolo del libro che spiega l'idea di estendere il dominio con un elemento meno fisso, i quattro assiomi che danno un punto fisso per una funzione continua e così via. Comprendo questi …

9 pl.programming-languages program-analysis

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.