Domande con tag 'theory'

domande con tag
4
risposte

Un "sistema tipo" secondario per riferimenti?

Sto progettando un linguaggio e mi stavo chiedendo come incorporare riferimenti simili a C ++ per quanto riguarda la loro posizione nel sistema di tipi. Penso che siano utili per operazioni come indicizzazione e dereferenziazione ( v[i] res...
posta 30.07.2015 - 15:16
3
risposte

Esposizione della rappresentazione dei dati

Mi piacerebbe sapere come viene esposta la rappresentazione dei dati nella diapositiva 7 di nascondere le informazioni : La modifica di una rappresentazione di dati esposti si propaga su tutto il codice che accede direttamente a tale rappr...
posta 28.11.2014 - 07:57
2
risposte

Tecniche di test e debugging contro il teorema di Rice

Per quanto ho capito correttamente, come risultato del teorema di Rice, l'equivalenza di due programmi non è generalmente decidibile. Tuttavia, esiste una vasta gamma di tecniche di test e debug, che cambiano il programma per il loro scopo: i...
posta 22.04.2018 - 18:39
1
risposta

"I generatori sono derivati di funzione"

Sto leggendo questo articolo su una nuova funzionalità di ECMAscript 6, generatori, che stanno atterrando nell'interprete JavaScript V8. Non troppo lontano dalla cima, l'autore suggerisce un'analogia: generators are like functions, with t...
posta 08.05.2013 - 23:25
1
risposta

Come funziona questa funzione per il calcolo dell'esponenziazione modulare?

So che la regola in matematica per modulo è questa: ab mod n =(a mod n ) (b mod n) mod n Ho trovato il seguente codice per calcolare l'esponenziazione modulare: pow(base,exponent,modulus){ if (exponent==0) return 1; else { newexp=pow(...
posta 25.11.2017 - 18:28
2
risposte

Come mitigare la complessità dei fallback introdotti per riprovare automaticamente in caso di fallimento?

Quindi può sembrare un po 'ampio e generalizzato, ma dopo aver passato un po' di tempo a lavorare con gli sviluppatori, ho notato molti metodi e schemi di design diversi. Tuttavia, una cosa importante che mi viene in mente è come la complessità...
posta 18.11.2015 - 21:41
1
risposta

linguaggio basato sulla teoria delle categorie

Può sembrare ingenuo, ma esiste un linguaggio di programmazione o una sua ricerca basata interamente sulla teoria delle categorie? Intendo questo invece di incorporare concetti CT come funzionalità aggiuntiva (come per Haskell o scala). Sa...
posta 06.11.2013 - 01:42
2
risposte

Test case design: per tutti i test positivi esistono anche quelli negativi?

C'è un'ambiguità in tutti i documenti che ho letto, quindi vorrei chiedere del seguente requisito: Requisito: essendo un Game master, posso accedere al menu GM digitando "menuInvoke". Cercando di farlo come un giocatore abituale - è che...
posta 24.03.2013 - 10:39
2
risposte

Qual è il vero punto di un "oracolo" nel test SW?

Conosco la definizione di un test oracle ma a me sembra che sia sopravvalutato. Ho una specifica, perché dovrei preoccuparmi di pensare agli oracoli? Ho solo confrontare ciò che la specifica vuole e ciò che fa il programma. O ho i casi d'uso,...
posta 14.04.2013 - 12:17
2
risposte

Preparazione per TaoCP

Ho provato a leggere questa serie di libri molte volte. Ho comprato di recente il Vol. 4 da aggiungere al mio scaffale. Spero davvero di poterlo leggere e capire un giorno. Tuttavia, sembra che sia in grado di ottenere la più ampia comprensione...
posta 05.07.2011 - 01:17