l'accesso più veloce di browser!
20 relazioni: Algoritmo, Bioinformatica, Compilatore, Cyclone (linguaggio di programmazione), F Sharp, Garbage collection, General purpose, Haskell (linguaggio), Lambda calcolo, Linguaggio di programmazione, Metalinguaggio, OCaml, Pattern matching, Polimorfismo (informatica), Programmazione funzionale, Standard ML, Teoria del primo ordine, Università di Edimburgo, Valutazione lazy, 1990.
Algoritmo
Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.
Nuovo!!: ML (linguaggio di programmazione) e Algoritmo · Mostra di più »
Bioinformatica
La bioinformatica è una disciplina scientifica dedicata alla risoluzione di problemi biologici a livello molecolare con metodi informatici.
Nuovo!!: ML (linguaggio di programmazione) e Bioinformatica · Mostra di più »
Compilatore
Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto).
Nuovo!!: ML (linguaggio di programmazione) e Compilatore · Mostra di più »
Cyclone (linguaggio di programmazione)
Cyclone è un linguaggio di programmazione rilasciato l'8 maggio 2006 ed inteso a diventare un dialetto sicuro del C. Infatti a differenza di quest'ultimo riesce a evitare i buffer overflows e altre vulnerabilità endemiche del linguaggio C, senza perdere la potenza e la convenienza della programmazione strutturata.
Nuovo!!: ML (linguaggio di programmazione) e Cyclone (linguaggio di programmazione) · Mostra di più »
F Sharp
F# (pronuncia:, come la parola inglese F Sharp) è un linguaggio di programmazione multi-paradigma, basato su.NET Framework, che permette la programmazione funzionale così come quella imperativa e quella ad oggetti.
Nuovo!!: ML (linguaggio di programmazione) e F Sharp · 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!!: ML (linguaggio di programmazione) e Garbage collection · Mostra di più »
General purpose
I dispositivi general purpose (espressione inglese, letteralmente "scopo generale", traducibile "per uso generale"), nell'ambito delle discipline applicate e in merceologia, sono strumenti o meccanismi caratterizzati da una certa versatilità, adatti a molti impieghi e non specializzati per particolari esigenze.
Nuovo!!: ML (linguaggio di programmazione) e General purpose · Mostra di più »
Haskell (linguaggio)
Haskell è un linguaggio di programmazione puramente funzionale general-purpose creato da un apposito comitato alla fine degli anni ottanta principalmente per analizzare le caratteristiche dei linguaggi.
Nuovo!!: ML (linguaggio di programmazione) e Haskell (linguaggio) · Mostra di più »
Lambda calcolo
Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo.
Nuovo!!: ML (linguaggio di programmazione) e Lambda calcolo · 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!!: ML (linguaggio di programmazione) e Linguaggio di programmazione · Mostra di più »
Metalinguaggio
Nella logica e nella teoria dei linguaggi formali per metalinguaggio si intende un linguaggio formalmente definito che ha come scopo la definizione di altri linguaggi artificiali, definiti linguaggi obiettivo o linguaggi oggetto (nell'ambito di SGML e di XML si usa anche il termine applicazioni).
Nuovo!!: ML (linguaggio di programmazione) e Metalinguaggio · Mostra di più »
OCaml
OCaml è un avanzato linguaggio di programmazione appartenente alla famiglia di linguaggi di programmazione ML.
Nuovo!!: ML (linguaggio di programmazione) e OCaml · Mostra di più »
Pattern matching
In informatica, il pattern matching è l'azione di controllo della presenza di un certo motivo (pattern) all'interno di un oggetto composito.
Nuovo!!: ML (linguaggio di programmazione) e Pattern matching · Mostra di più »
Polimorfismo (informatica)
In informatica, il termine polimorfismo (dal greco πολυμορφος composto dai termini πολυ molto e μορφή forma quindi "avere molte forme") viene usato in senso generico per riferirsi a espressioni che possono rappresentare valori di diversi tipi (dette espressioni polimorfiche).
Nuovo!!: ML (linguaggio di programmazione) e Polimorfismo (informatica) · 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!!: ML (linguaggio di programmazione) e Programmazione funzionale · Mostra di più »
Standard ML
In informatica, SML (Standard ML) è un linguaggio di programmazione derivato dall'ML.
Nuovo!!: ML (linguaggio di programmazione) e Standard ML · Mostra di più »
Teoria del primo ordine
Nella logica matematica una teoria del primo ordine è un particolare sistema formale, cioè una teoria formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
Nuovo!!: ML (linguaggio di programmazione) e Teoria del primo ordine · 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!!: ML (linguaggio di programmazione) e Università di Edimburgo · Mostra di più »
Valutazione lazy
Nella programmazione, la valutazione lazy o pigra è una tecnica che consiste nel ritardare una computazione finché il risultato non è richiesto effettivamente.
Nuovo!!: ML (linguaggio di programmazione) e Valutazione lazy · Mostra di più »
1990
Nessuna descrizione.
Nuovo!!: ML (linguaggio di programmazione) e 1990 · Mostra di più »
