l'accesso più veloce di browser!
44 relazioni: AMD64, Apple Macintosh, Architettura MIPS, Bytecode, C (linguaggio), CAML, Classe (informatica), Compilatore, Debugger, DEC Alpha, Ereditarietà multipla, Fattoriale, Fortran, Garbage collection, Gestione delle eccezioni, Hello world, IA-32, IA-64, Institut national de recherche en informatique et en automatique, Linguaggio di programmazione, Linguaggio macchina, Linking, Microsoft Windows, ML (linguaggio di programmazione), MLDonkey, Multipiattaforma, Open source, PA-RISC, Pattern matching, Peer-to-peer, Polimorfismo (informatica), Portabilità, PowerPC, Preprocessore, Profiler - Intuizioni mortali, Programmazione funzionale, Programmazione imperativa, Programmazione orientata agli oggetti, Run-time, SPARC, Standard ML, StrongARM, Unix, 1996.
AMD64
AMD64, altresì chiamata x86-64, è un'estensione a 64 bit del set di istruzioni x86, che è comune a tutti i processori desktop Intel e AMD più altre marche minori.
Nuovo!!: OCaml e AMD64 · Mostra di più »
Apple Macintosh
Macintosh, anche abbreviato Mac, è una popolare famiglia di computer prodotti dalla Apple Inc. commercializzati a partire dal 1984 e facenti uso del sistema operativo macOS.
Nuovo!!: OCaml e Apple Macintosh · Mostra di più »
Architettura MIPS
L'architettura MIPS (acronimo dell'inglese microprocessor without interlocked pipeline stages) è un'architettura informatica per microprocessori RISC sviluppata dalla MIPS Computer Systems Inc. (oggi MIPS Technologies Inc.). Il MIPS è utilizzato nel campo dei computer SGI, e hanno trovato grossa diffusione nell'ambito dei sistemi embedded, dei devices di Windows CE e nei router di Cisco.
Nuovo!!: OCaml e Architettura MIPS · Mostra di più »
Bytecode
In informatica, il bytecode è un linguaggio intermedio più astratto tra il linguaggio macchina e il linguaggio di programmazione, usato per descrivere le operazioni che costituiscono un programma.
Nuovo!!: OCaml e Bytecode · Mostra di più »
C (linguaggio)
C è un linguaggio di programmazione imperativo di natura procedurale.
Nuovo!!: OCaml e C (linguaggio) · Mostra di più »
CAML
CAML (Categorical Abstract Machine Language) è una versione del linguaggio di programmazione ML sviluppata in Francia presso l'INRIA e l'École Normale Supérieure (ENS).
Nuovo!!: OCaml e CAML · Mostra di più »
Classe (informatica)
Nella programmazione orientata agli oggetti una classe è un costrutto di un linguaggio di programmazione usato come modello per creare oggetti.
Nuovo!!: OCaml e Classe (informatica) · 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!!: OCaml e Compilatore · Mostra di più »
Debugger
Un debugger in informatica è un programma/software specificatamente progettato per l'analisi e l'eliminazione dei bug (debugging), ovvero errori di programmazione interni al codice di altri programmi.
Nuovo!!: OCaml e Debugger · Mostra di più »
DEC Alpha
DEC Alpha (conosciuto anche come Alpha AXP) è un'architettura di processori di tipo RISC sviluppata e prodotta dalla Digital Equipment Corp (DEC).
Nuovo!!: OCaml e DEC Alpha · Mostra di più »
Ereditarietà multipla
Alcuni linguaggi di programmazione permettono di utilizzare l'ereditarietà multipla, in cui una classe può ereditare funzionalità e caratteristiche da più di una classe base.
Nuovo!!: OCaml e Ereditarietà multipla · Mostra di più »
Fattoriale
In matematica, si definisce fattoriale di un numero naturale n, indicato con n!, il prodotto dei numeri interi positivi minori o uguali a tale numero.
Nuovo!!: OCaml e Fattoriale · Mostra di più »
Fortran
Fortran (o FORTRAN) - acronimo di FORmula TRANslation (o TRANslator) ovvero "traduzione (o traduttore) di formule" - è uno dei primi linguaggi di programmazione, sviluppato a partire dal 1954 da un gruppo di lavoro guidato da John Backus.
Nuovo!!: OCaml e Fortran · 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!!: OCaml e Garbage collection · Mostra di più »
Gestione delle eccezioni
In informatica la gestione delle eccezioni è un costrutto dei linguaggi di programmazione o un meccanismo dell'hardware del computer progettato per gestire errori a runtime o altri problemi (eccezioni) che avvengono durante l'esecuzione di un programma su un computer.
Nuovo!!: OCaml e Gestione delle eccezioni · Mostra di più »
Hello world
L'interfaccia grafica di un programma scritto in Perl che stampa il messaggio "''Hello world!''" "Hello, World!" su Debian GNU/Hurd, in xfce4-terminal. Hello, world! (in Italiano "Ciao, mondo!") è un semplice programma informatico che produce come risultato - output - la scritta "Hello, world!" o altre varianti.
Nuovo!!: OCaml e Hello world · Mostra di più »
IA-32
Con IA-32 (Intel Architecture 32 bit), a volte i386, si definisce l'architettura o l'instruction set dei microprocessori prodotti da Intel, AMD e altre compagnie minori per il mercato desktop a partire dal 1985, e che è presente nella grandissima maggioranza dei personal computer esistenti al mondo.
Nuovo!!: OCaml e IA-32 · Mostra di più »
IA-64
In informatica, IA-64 (Intel Architecture-64) è un'architettura a 64 bit sviluppata durante una cooperazione tra Intel e Hewlett-Packard e implementata da processori come Itanium e Itanium 2.
Nuovo!!: OCaml e IA-64 · Mostra di più »
Institut national de recherche en informatique et en automatique
L'Institut national de recherche en informatique et en automatique (INRIA, Istituto nazionale per la ricerca nell'informatica e nell'automazione) è un istituto nazionale francese per la ricerca, focalizzato sull'informatica, la teoria dell'automazione e la matematica applicata.
Nuovo!!: OCaml e Institut national de recherche en informatique et en automatique · 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!!: OCaml e Linguaggio di programmazione · Mostra di più »
Linguaggio macchina
Il linguaggio macchina o codice macchina è il linguaggio in cui sono scritti i programmi eseguibili per computer.
Nuovo!!: OCaml e Linguaggio macchina · Mostra di più »
Linking
In informatica il linking (letteralmente "collegamento") è il procedimento di integrazione dei vari moduli a cui un programma fa riferimento (i quali possono essere sottoprogrammi o librerie), per creare una singola unità eseguibile.
Nuovo!!: OCaml e Linking · Mostra di più »
Microsoft Windows
Microsoft Windows (abbreviazioni comunemente utilizzate: "Windows" o "Win") è una famiglia di ambienti operativi e sistemi operativi prodotta da Microsoft Corporation dal 1985.
Nuovo!!: OCaml e Microsoft Windows · 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!!: OCaml e ML (linguaggio di programmazione) · Mostra di più »
MLDonkey
MLDonkey è un client open source per il filesharing peer to peer che supporta molte reti P2P.
Nuovo!!: OCaml e MLDonkey · Mostra di più »
Multipiattaforma
In informatica il termine multipiattaforma può essere riferito ad un linguaggio di programmazione, ad un'applicazione software o ad un dispositivo hardware che funziona su più di un sistema o appunto, piattaforma (es. Unix/Linux, Windows e Macintosh).
Nuovo!!: OCaml e Multipiattaforma · Mostra di più »
Open source
In informatica il termine inglese open source (che significa sorgente aperta) viene utilizzato per riferirsi ad un software di cui gli autori (più precisamente, i detentori dei diritti) rendono pubblico il codice sorgente, favorendone il libero studio e permettendo a programmatori indipendenti di apportarvi modifiche ed estensioni.
Nuovo!!: OCaml e Open source · Mostra di più »
PA-RISC
PA-RISC è un'architettura di microprocessori sviluppata dalla Hewlett-Packard Systems & VLSI Technology Operation.
Nuovo!!: OCaml e PA-RISC · 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!!: OCaml e Pattern matching · Mostra di più »
Peer-to-peer
In informatica, peer-to-peer (P2P; 'rete paritaria/paritetica') è un'espressione indicante un modello di architettura logica di rete informatica in cui i nodi non sono gerarchizzati unicamente sotto forma di client o server fissi ('clienti' e 'serventi'), ma pure sotto forma di nodi equivalenti o 'paritari' (peer), potendo fungere al contempo da client e server verso gli altri nodi terminali (host) della rete.
Nuovo!!: OCaml e Peer-to-peer · 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!!: OCaml e Polimorfismo (informatica) · Mostra di più »
Portabilità
La portabilità, (in lingua inglese porting), in informatica, indica un processo di trasposizione, a volte anche con modifiche, di un componente software, volto a consentirne l'uso in un ambiente di esecuzione diverso da quello originale.
Nuovo!!: OCaml e Portabilità · Mostra di più »
PowerPC
PowerPC è un'architettura di microprocessori RISC creata nel 1991 dall'alleanza Apple-IBM-Motorola, conosciuta come AIM.
Nuovo!!: OCaml e PowerPC · Mostra di più »
Preprocessore
In informatica, un preprocessore o precompilatore è un programma (o una porzione di programma) che effettua sostituzioni testuali sul codice sorgente di un programma, ovvero la precompilazione.
Nuovo!!: OCaml e Preprocessore · Mostra di più »
Profiler - Intuizioni mortali
Profiler - Intuizioni mortali (Profiler) è una serie televisiva andata in onda sulla rete statunitense NBC dal 1996 al 2000.
Nuovo!!: OCaml e Profiler - Intuizioni mortali · 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!!: OCaml 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!!: OCaml e Programmazione imperativa · Mostra di più »
Programmazione orientata agli oggetti
In informatica la programmazione orientata agli oggetti (OOP, Object Oriented Programming) è un paradigma di programmazione che permette di definire oggetti software in grado di interagire gli uni con gli altri attraverso lo scambio di messaggi.
Nuovo!!: OCaml e Programmazione orientata agli oggetti · 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!!: OCaml e Run-time · Mostra di più »
SPARC
Sun UltraSPARC II Microprocessor a 300 MHz In elettronica e informatica SPARC (Scalable Processor ARChitecture) è un'architettura per microprocessore big-endian RISC.
Nuovo!!: OCaml e SPARC · Mostra di più »
Standard ML
In informatica, SML (Standard ML) è un linguaggio di programmazione derivato dall'ML.
Nuovo!!: OCaml e Standard ML · Mostra di più »
StrongARM
Lo StrongARM è una famiglia di microprocessori sviluppati da Digital Equipment Corporation (DEC).
Nuovo!!: OCaml e StrongARM · Mostra di più »
Unix
Unix (registrato ufficialmente come UNIX) è un sistema operativo portabile per computer inizialmente sviluppato da un gruppo di ricerca dei laboratori AT&T e Bell Laboratories, nel quale figurarono sulle prime anche Ken Thompson e Dennis Ritchie.
Nuovo!!: OCaml e Unix · Mostra di più »
1996
Nessuna descrizione.
Nuovo!!: OCaml e 1996 · Mostra di più »
Riorienta qui:
Caml Light, O'Caml, Objective CAML, Objective Caml, Ocaml.
