l'accesso più veloce di browser!
20 relazioni: Allocazione dinamica della memoria, Automatic Reference Counting, Byte, C, C++, Compile-time, Conversione di tipo, Dangling pointer, Garbage collection, Informatica, Java (linguaggio di programmazione), Linguaggio di programmazione, Objective-C, Pascal (linguaggio di programmazione), Pila (informatica), Run-time, Smalltalk, Tipizzazione forte, Tipo di dato, Type check.
Allocazione dinamica della memoria
Con allocazione dinamica della memoria, in informatica, intende l'allocazione di memoria per l'utilizzo di un programma durante la propria esecuzione.
Nuovo!!: Sicurezza rispetto ai tipi e Allocazione dinamica della memoria · Mostra di più »
Automatic Reference Counting
Nella programmazione Objective-C, Automatic Reference Counting (ARC) è un miglioramento del sistema di gestione della memoria, dove il problema di tenere traccia del reference count di un oggetto viene spostato dal programmatore al compilatore.
Nuovo!!: Sicurezza rispetto ai tipi e Automatic Reference Counting · Mostra di più »
Byte
Un byte (pron.), il cui nome deriva dalla parola inglese bite (boccone, morso, coniato anche per assonanza col termine "bit" ma rinominato per evitare confusioni accidentali di pronuncia con questo), è una sequenza di bit, il cui numero dipende dall'implementazione fisica della macchina sottostante.
Nuovo!!: Sicurezza rispetto ai tipi e Byte · Mostra di più »
C
La C o c (nome ci) è la terza lettera dell'alfabeto latino e di quello italiano.
Nuovo!!: Sicurezza rispetto ai tipi e C · Mostra di più »
C++
C++ è un linguaggio di programmazione orientato agli oggetti, con tipizzazione statica.
Nuovo!!: Sicurezza rispetto ai tipi e C++ · Mostra di più »
Compile-time
In informatica il termine compile-time (in italiano tempo di compilazione) indica la fase di compilazione di un programma.
Nuovo!!: Sicurezza rispetto ai tipi e Compile-time · Mostra di più »
Conversione di tipo
In informatica, in particolare nella programmazione, la conversione di tipo (detta impropriamente casting, o typecasting, dal nome di uno dei modi in cui essa si manifesta) è l'operazione con cui si converte una variabile da un tipo di dato a un altro: questo passaggio è effettuato per avvantaggiarsi di alcune caratteristiche delle gerarchie dei tipi.
Nuovo!!: Sicurezza rispetto ai tipi e Conversione di tipo · Mostra di più »
Dangling pointer
Un dangling pointer, o puntatore pendente, nei linguaggi di programmazione, indica un puntatore che si riferisce ad un'area di memoria non più valida, perché già liberata o perché il puntatore viene utilizzato all'esterno del contesto di esistenza della variabile cui si riferisce.
Nuovo!!: Sicurezza rispetto ai tipi e Dangling pointer · Mostra di più »
Garbage collection
"Doppio bug-free"). C'è da correggere lungo tutta la pagina. Nota: la voce non sembra essere stata ottenuta COMPLETAMENTE mediante traduzione automatica (vedi Teplate:Da correggere) --> In informatica per garbage collection (termine a volte abbreviato con GC, letteralmente raccolta dei rifiuti) si intende una modalità automatica di gestione della memoria, mediante la quale un sistema operativo, o un compilatore e un modulo di run-time, liberano porzioni di memoria non più utilizzate dalle applicazioni. In altre parole, il garbage collector annoterà le aree di memoria non più referenziate, cioè allocate da un processo attivo, e le libererà automaticamente. La garbage collection è stata inventata nel 1959 da John McCarthy per il linguaggio di programmazione Lisp. Questo meccanismo ha condotto ad un notevole cambio nello stile di programmazione dei linguaggi che lo implementano. Infatti non è più necessario richiedere esplicitamente la liberazione della memoria utilizzata da un oggetto, ovvero terminare tale oggetto in modo deterministico, ma si lascia che il sistema esegua questa operazione automaticamente, nel momento in cui lo riterrà più opportuno al fine di migliorare le prestazioni complessive. Tale azione viene definita nell'ambito delle finalizzazioni non deterministiche.
Nuovo!!: Sicurezza rispetto ai tipi e Garbage collection · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Sicurezza rispetto ai tipi e Informatica · Mostra di più »
Java (linguaggio di programmazione)
In informatica Java è un linguaggio di programmazione ad alto livello, orientato agli oggetti e a tipizzazione statica, specificatamente progettato per essere il più possibile indipendente dalla piattaforma di esecuzione.
Nuovo!!: Sicurezza rispetto ai tipi e Java (linguaggio di programmazione) · Mostra di più »
Linguaggio di programmazione
Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in output.
Nuovo!!: Sicurezza rispetto ai tipi e Linguaggio di programmazione · Mostra di più »
Objective-C
Objective-C, spesso citato anche come Objective C o ObjC o Obj-C, è un linguaggio di programmazione riflessivo orientato agli oggetti, sviluppato da Brad Cox alla metà degli anni ottanta presso la Stepstone Corporation.
Nuovo!!: Sicurezza rispetto ai tipi e Objective-C · Mostra di più »
Pascal (linguaggio di programmazione)
Il Pascal, in informatica, è un linguaggio di programmazione creato da Niklaus Wirth e basato sul linguaggio ALGOL; il nome è dedicato a Blaise Pascal che inventò nel 1645 la Pascalina, considerata la prima calcolatrice.
Nuovo!!: Sicurezza rispetto ai tipi e Pascal (linguaggio di programmazione) · Mostra di più »
Pila (informatica)
Il termine stack o pila, in informatica, indica un tipo di dato astratto che viene usato in diversi contesti per riferirsi a strutture dati, le cui modalità d'accesso ai dati in essa contenuti seguono una modalità LIFO (Last In First Out), ovvero tale per cui i dati vengono estratti (letti) in ordine rigorosamente inverso rispetto a quello in cui sono stati inseriti (scritti).
Nuovo!!: Sicurezza rispetto ai tipi e Pila (informatica) · Mostra di più »
Run-time
Runtime o run-time (tempo di esecuzione) indica il momento in cui un programma per computer viene eseguito, in contrapposizione ad altre fasi del ciclo di vita del software.
Nuovo!!: Sicurezza rispetto ai tipi e Run-time · Mostra di più »
Smalltalk
Smalltalk è un linguaggio di programmazione orientato agli oggetti con gestione dinamica dei tipi e con un paradigma di programmazione riflessivo.
Nuovo!!: Sicurezza rispetto ai tipi e Smalltalk · Mostra di più »
Tipizzazione forte
In informatica, e in particolare in programmazione, l'espressione tipizzazione forte (strong typing) può essere usata per caratterizzare il tipo di regole che un determinato linguaggio di programmazione impone, a livello sintattico o semantico, circa la tipizzazione dei dati e all'uso dei dati in relazione al loro tipo.
Nuovo!!: Sicurezza rispetto ai tipi e Tipizzazione forte · Mostra di più »
Tipo di dato
Un tipo di dato (o semplicemente tipo) è, in informatica, un nome che indica l'insieme di valori che una variabile, o il risultato di un'espressione, possono assumere e le operazioni che su tali valori si possono effettuare.
Nuovo!!: Sicurezza rispetto ai tipi e Tipo di dato · Mostra di più »
Type check
In informatica con type check si indica l'operazione che consiste nel controllare che i valori assegnati ad una variabile siano di un tipo di dato ammissibile per il tipo della variabile.
Nuovo!!: Sicurezza rispetto ai tipi e Type check · Mostra di più »
