l'accesso più veloce di browser!
16 relazioni: Garbage collection, Informatica, Linguaggio di programmazione, Lisp, ML (linguaggio di programmazione), OCaml, Programmazione funzionale, Programmazione imperativa, Robert Harper, Robin Milner, Rust (linguaggio di programmazione), Scheme, Tipizzazione forte, Tipizzazione statica, Università di Edimburgo, 1997.
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!!: Standard ML e Garbage collection · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Standard ML e Informatica · 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!!: Standard ML e Linguaggio di programmazione · Mostra di più »
Lisp
Lisp (List Processor) è una famiglia di linguaggi di programmazione con implementazioni sia compilate sia interpretate, associata nel passato ai progetti di intelligenza artificiale.
Nuovo!!: Standard ML e Lisp · Mostra di più »
ML (linguaggio di programmazione)
ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM.
Nuovo!!: Standard ML e ML (linguaggio di programmazione) · Mostra di più »
OCaml
OCaml è un avanzato linguaggio di programmazione appartenente alla famiglia di linguaggi di programmazione ML.
Nuovo!!: Standard ML e OCaml · Mostra di più »
Programmazione funzionale
In informatica la programmazione funzionale è un paradigma di programmazione in cui il flusso di esecuzione del programma assume la forma di una serie di valutazioni di funzioni matematiche.
Nuovo!!: Standard ML e Programmazione funzionale · Mostra di più »
Programmazione imperativa
In informatica, la programmazione imperativa è un paradigma di programmazione secondo cui un programma viene inteso come un insieme di istruzioni (dette anche direttive o comandi), ciascuna delle quali può essere pensata come un "ordine" che viene impartito alla macchina virtuale del linguaggio di programmazione utilizzato.
Nuovo!!: Standard ML e Programmazione imperativa · Mostra di più »
Robert Harper
Inattivo dal 2006, è stato sposato dal 1981 al 1984 con l'attrice Lisa Pelikan, mentre dal 2005 è sposato con Sascha Noorthoorn van der Kruyff.
Nuovo!!: Standard ML e Robert Harper · Mostra di più »
Robin Milner
Categoria:Vincitori del premio Turing.
Nuovo!!: Standard ML e Robin Milner · Mostra di più »
Rust (linguaggio di programmazione)
Rust è un linguaggio di programmazione compilato, multi-paradigma, ad uso generico, sviluppato da Mozilla Research, in collaborazione con la comunità open-source.
Nuovo!!: Standard ML e Rust (linguaggio di programmazione) · Mostra di più »
Scheme
Scheme è un linguaggio di programmazione funzionale, un dialetto del Lisp di cui mantiene tutte le caratteristiche, che è stato sviluppato negli anni settanta da Guy L. Steele e Gerald Jay Sussman, che lo introdussero nel mondo accademico con una serie di articoli noti come le Lambda Papers e nel libro Structure and Interpretation of Computer Programs, usato per decenni come testo in alcuni esami di Scienze dell'Informazione.
Nuovo!!: Standard ML e Scheme · 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!!: Standard ML e Tipizzazione forte · Mostra di più »
Tipizzazione statica
In programmazione, la tipizzazione statica è una particolare politica di tipizzazione, ovvero di assegnazione di tipi alle variabili.
Nuovo!!: Standard ML e Tipizzazione statica · Mostra di più »
Università di Edimburgo
L'Università di Edimburgo (The University of Edinburgh in inglese) è stata fondata nel 1582 ed è un centro rinomato per lo studio e per la ricerca con sede a Edimburgo in Scozia. L'istituto è una delle più antiche università della Scozia, nonché fra le più grandi e prestigiose di tutto il Regno Unito.
Nuovo!!: Standard ML e Università di Edimburgo · Mostra di più »
1997
Nessuna descrizione.
Nuovo!!: Standard ML e 1997 · Mostra di più »
