Tag imperative-programming - Questa è pagina 10 - GeneraCodice

Perché lo strengtening precondizionario è solido nella logica Hoare

https://www.generacodice.com/it/articolo/1549168/perche-lo-strengtening-precondizionario-e-solido-nella-logica-hoare

logic - imperative-programming - hoare-logic - program-correctness

cs.stackexchange

Elimina i riferimenti non locali dalla chiusura

https://www.generacodice.com/it/articolo/1547877/elimina-i-riferimenti-non-locali-dalla-chiusura

functional-programming - programming-languages - imperative-programming - reference-request - compilers

cs.stackexchange

Loop invariant: diminuzione di una variabile e scambiarlo

https://www.generacodice.com/it/articolo/1528238/loop-invariant-diminuzione-di-una-variabile-e-scambiarlo

loops - imperative-programming - algorithm-analysis - loop-invariants

cs.stackexchange

La programmazione funzionale non è solo una programmazione imperativa sotto mentite spoglie?

https://www.generacodice.com/it/articolo/1489492/la-programmazione-funzionale-non-e-solo-una-programmazione-imperativa-sotto-mentite-spoglie

functional-programming - programming-languages - imperative-programming - programming-paradigms

cs.stackexchange

C'è un modo standardizzato per trasformare codice funzionale per il codice imperativo?

https://www.generacodice.com/it/articolo/1202072/c-e-un-modo-standardizzato-per-trasformare-codice-funzionale-per-il-codice-imperativo

functional-programming - programming-languages - imperative-programming

C'è un algoritmo funzionale, che è più veloce di un imperativo?

https://www.generacodice.com/it/articolo/1168901/c-e-un-algoritmo-funzionale-che-e-piu-veloce-di-un-imperativo

algorithm - functional-programming - scala - imperative-programming

risoluzione di due thread concorrenti con variabili condivise

https://www.generacodice.com/it/articolo/1091880/risoluzione-di-due-thread-concorrenti-con-variabili-condivise

concurrency - shared-memory - imperative-programming

cs.stackexchange

Tradurre flusso di controllo imperativo con break-s / continueranno-S per Haskell

https://www.generacodice.com/it/articolo/1056677/tradurre-flusso-di-controllo-imperativo-con-break-s-continueranno-s-per-haskell

functional-programming - haskell - imperative-programming

Qualcun altro pensa variabili di istanza sono problematici in applicazioni database-backed?

https://www.generacodice.com/it/articolo/953523/qualcun-altro-pensa-variabili-di-istanza-sono-problematici-in-applicazioni-database-backed

database - state-management - imperative-programming

Imperativo corso dichiarativa / Cross

https://www.generacodice.com/it/articolo/901160/imperativo-corso-dichiarativa-cross

silverlight - declarative - imperative-programming - silverlight-4.0

«
7
8
9
10
11
12
»

Risultati trovati: 119