Accès plus rapide que le navigateur!
118 relations: Abstraction (informatique), Airbus A380, Airbus Commercial Aircraft, Algorithme récursif, AMD64, Analyse lexicale, Analyse syntaxique, Années 1980, Arbre enraciné, Architecture MIPS, Architecture SPARC, Backend, Berkeley Software Distribution, Bibliothèque logicielle, Bytecode, C (langage), C Sharp, C++, Caml, Caml Light, Classe préparatoire aux grandes écoles, Code natif, Compilateur, Coq (logiciel), Débogueur, DEC Alpha, Expression régulière, Extensible Markup Language, F Sharp, Facebook Messenger, Factorielle, Fermeture (informatique), Filtrage par motif, Fonction d'ordre supérieur, Fonction de hachage, Fortran, Générateur de documentation, Génération de code natif, Généricité, Geneweb, Guy Cousineau, Haskell, Héritage (informatique), IA-64, Inférence de types, Institut national de recherche en informatique et en automatique, Interprète (informatique), Jane Street, Java (langage), KDE, ..., Langage de programmation, Licence publique générale limitée GNU, Linux, Liste (informatique), Logiciel multiplateforme, Lustre (langage), Machine abstraite, MacOS, Mémoïsation, Mémoire (informatique), Métaprogrammation, MediaWiki, Microsoft, Microsoft Windows, Mise en œuvre, ML (langage), MLDonkey, Module (programmation), Ocsigen, Opa (logiciel), Open source, Paradigme (programmation), Pascal (langage), Pilote informatique, Polymorphisme (informatique), Portabilité (informatique), PowerPC, Préprocesseur, Programmation fonctionnelle, Programmation impérative, Programmation modulaire, Programmation orientée objet, Python (langage), Ramasse-miettes (informatique), Récursion terminale, Récursivité, Robin Milner, Ruby, Rust (langage), Scala (langage), Scheme, Secteur aéronautique et spatial, Standard ML, StrongARM, Structure de données, Suite de Fibonacci, Synchronisation de fichiers, Système embarqué, Système structurel de types, Table de hachage, Transformation de Fourier rapide, Typage fort, Typage statique, Type algébrique de données, Type récursif, Unison (logiciel), Université Paris-Diderot, Visual Basic, Webradio, X86, Xavier Leroy, Xen, 1984 en informatique, 1987 en informatique, 1990 en informatique, 1995 en informatique, 1996 en informatique, 2000 en informatique. Développer l'indice (68 plus) »
Abstraction (informatique)
En informatique, le concept d'abstraction identifie et regroupe des caractéristiques et traitements communs applicables à des entités ou concepts variés; une représentation abstraite commune de tels objets permet d'en simplifier et d'en unifier la manipulation.
Nouveau!!: OCaml et Abstraction (informatique) · Voir plus »
Airbus A380
LAirbus A380 est un avion de ligne civil très gros-porteur long-courrier quadriréacteur à double pont, produit par Airbus de 2004 à 2021.
Nouveau!!: OCaml et Airbus A380 · Voir plus »
Airbus Commercial Aircraft
OO-TEF A300B1 MSN002, deuxième prototype d'Airbus, mais construit déjà avec spécification quasiment définitive en 1973, et donc exploité par TEA jusqu'en 1994. Airbus acheva le 13 décembre 2007 sa 5000e livraison avec cet A330 VH-EBG A330-203 MSN887. Airbus Commercial Aircraft, connu sous le nom Airbus SAS, est un constructeur aéronautique européen dont le siège social se trouve à Blagnac, à côté de l'aéroport, dans la banlieue de Toulouse, en France.
Nouveau!!: OCaml et Airbus Commercial Aircraft · Voir plus »
Algorithme récursif
Un algorithme récursif est un algorithme qui résout un problème en calculant des solutions d'instances plus petites du même problème.
Nouveau!!: OCaml et Algorithme récursif · Voir plus »
AMD64
Processeur AMD64 avec sa boite d'origine et son ventilateur AMD64 est le nom de l'architecture des premiers microprocesseurs de la société Advanced Micro Devices.
Nouveau!!: OCaml et AMD64 · Voir plus »
Analyse lexicale
En informatique, l’analyse lexicale,, segmentation ou est la conversion d’une chaîne de caractères (un texte) en une liste de symboles (en anglais).
Nouveau!!: OCaml et Analyse lexicale · Voir plus »
Analyse syntaxique
L' consiste à mettre en évidence la structure d'un texte, généralement une phrase écrite dans une langue naturelle, mais on utilise également cette terminologie pour l'analyse d'un programme informatique.
Nouveau!!: OCaml et Analyse syntaxique · Voir plus »
Années 1980
Avênement de l'ordinateur personnel avec l'IBM PC 5150. Légende/Fin Les années 1980 couvrent la période du au.
Nouveau!!: OCaml et Années 1980 · Voir plus »
Arbre enraciné
En théorie des graphes, un arbre enraciné ou une arborescence est un graphe acyclique orienté possédant une unique racine, et tel que tous les nœuds sauf la racine ont un unique parent.
Nouveau!!: OCaml et Arbre enraciné · Voir plus »
Architecture MIPS
L'architecture MIPS (de l'anglais) est une architecture de processeur de type Reduced instruction set computer (RISC) développée par la société MIPS Technologies (alors appelée MIPS Computer Systems), basée à Mountain View en Californie.
Nouveau!!: OCaml et Architecture MIPS · Voir plus »
Architecture SPARC
Un microprocesseur UltraSPARC II. SPARC, acronyme pour Scalable Processor Architecture, est une architecture de processeur de type RISC, originellement développée par Sun Microsystems.
Nouveau!!: OCaml et Architecture SPARC · Voir plus »
Backend
En informatique, un back-end (parfois aussi appelé un dorsal.) est un terme désignant un étage de sortie d'un logiciel devant produire un résultat.
Nouveau!!: OCaml et Backend · Voir plus »
Berkeley Software Distribution
La ou BSD, « collection de logiciels de Berkeley » en français, est un système d'exploitation dérivé d’Unix et originaire de l’université de Californie à Berkeley.
Nouveau!!: OCaml et Berkeley Software Distribution · Voir plus »
Bibliothèque logicielle
En informatique, une bibliothèque logicielle est une collection de routines, qui peuvent être déjà compilées et prêtes à être utilisées par des programmes.
Nouveau!!: OCaml et Bibliothèque logicielle · Voir plus »
Bytecode
Code binaire En informatique, le (terme anglais signifiant « code en bytes ») est un code intermédiaire entre les instructions machines et le code source, qui n'est pas directement exécutable.
Nouveau!!: OCaml et Bytecode · Voir plus »
C (langage)
C est un langage de programmation impératif, généraliste et de bas niveau.
Nouveau!!: OCaml et C (langage) · Voir plus »
C Sharp
C# (C sharp en anglais britannique) est un langage de programmation orientée objet, commercialisé par Microsoft depuis 2002 et destiné à développer sur la plateforme Microsoft.NET, au même titre que d’autres langages liés à cette plateforme (ex. VB.NET, J#, etc.) C# est dérivé du C++ et très proche du Java dont il reprend la syntaxe générale ainsi que les concepts, y ajoutant des notions telles que la surcharge des opérateurs, les et les délégués.
Nouveau!!: OCaml et C Sharp · Voir plus »
C++
C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique.
Nouveau!!: OCaml et C++ · Voir plus »
Caml
Caml (prononcé camel, signifie Categorical Abstract Machine Language) est un langage de programmation généraliste conçu pour la sécurité et la fiabilité des programmes.
Nouveau!!: OCaml et Caml · Voir plus »
Caml Light
était une implémentation légère du langage de programmation Caml développé par l'INRIA.
Nouveau!!: OCaml et Caml Light · Voir plus »
Classe préparatoire aux grandes écoles
En France, les classes préparatoires aux grandes écoles (CPGE) sont des filières d'enseignement supérieur hébergées dans les lycées.
Nouveau!!: OCaml et Classe préparatoire aux grandes écoles · Voir plus »
Code natif
Un programme informatique en code natif (ou langage machine) est composé d’instructions directement reconnues par un processeur.
Nouveau!!: OCaml et Code natif · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: OCaml et Compilateur · Voir plus »
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe de l’Inria au sein du laboratoire du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
Nouveau!!: OCaml et Coq (logiciel) · Voir plus »
Débogueur
Un débogueur ou débugueur (de l'anglais debugger) est un logiciel qui aide un développeur à analyser les bugs d'un programme.
Nouveau!!: OCaml et Débogueur · Voir plus »
DEC Alpha
modèle 21066-AA. Le DEC Alpha, aussi appelé Alpha AXP, est un microprocesseur superscalaire RISC initialement développé et fabriqué par Digital Equipment Corp. (DEC), qui le commercialisa dans ses stations de travail et ses serveurs.
Nouveau!!: OCaml et DEC Alpha · Voir plus »
Expression régulière
Stephen Cole Kleene, dont les travaux ont fondé le concept d'expression régulière. En informatique, une expression régulière ou expression rationnelle ou expression normaleD'après la de la norme ISO/IEC 9075:1989 par le Conseil du Trésor du Canada et qui est par le Bureau de la traduction du gouvernement du Canada.
Nouveau!!: OCaml et Expression régulière · Voir plus »
Extensible Markup Language
LExtensible Markup Language, généralement appelé XMLCe nom est une idée de James Clark, elle est expliquée par dans sa.
Nouveau!!: OCaml et Extensible Markup Language · Voir plus »
F Sharp
F# est un langage de programmation fonctionnel, impératif et orienté objet pour la plate-forme.NET.
Nouveau!!: OCaml et F Sharp · Voir plus »
Facebook Messenger
Facebook Messenger est un système de messagerie instantanée créé par la société Facebook (aujourd’hui Meta), et incorporé aux réseaux sociaux Facebook et Instagram.
Nouveau!!: OCaml et Facebook Messenger · Voir plus »
Factorielle
En mathématiques, la factorielle d'un entier naturel n est le produit des nombres entiers strictement positifs inférieurs ou égaux à n. Cette opération est notée avec un point d'exclamation, n!, ce qui se lit soit « factorielle de n », soit « factorielle n », soit « n factorielle ».
Nouveau!!: OCaml et Factorielle · Voir plus »
Fermeture (informatique)
Dans un langage de programmation, une fermeture ou clôture est une fonction accompagnée de son environnement lexical.
Nouveau!!: OCaml et Fermeture (informatique) · Voir plus »
Filtrage par motif
Le filtrage par motif est la vérification de la présence de constituants d'un motif par un programme informatique, ou parfois par un matériel spécialisé.
Nouveau!!: OCaml et Filtrage par motif · Voir plus »
Fonction d'ordre supérieur
En mathématiques et en informatique, les fonctions d'ordre supérieur sont des fonctions qui ont au moins une des propriétés suivantes.
Nouveau!!: OCaml et Fonction d'ordre supérieur · Voir plus »
Fonction de hachage
Quand il s'agit de mettre dans un tableau de taille raisonnable (typiquement résidant dans la mémoire principale de l'ordinateur) un ensemble de données de taille variable et arbitraire, on utilise une fonction de hachage pour attribuer à ces données des indices de ce tableau.
Nouveau!!: OCaml et Fonction de hachage · Voir plus »
Fortran
240x240px Simulation en Fortran de l'accrétion autour d'un trou noir (www.bhac.science). Densité à gauche et densité d'énergie magnétique à droite (zoom). Fortran est un langage de programmation généraliste dont le domaine de prédilection est le calcul scientifique et le calcul numérique.
Nouveau!!: OCaml et Fortran · Voir plus »
Générateur de documentation
Un générateur de documentation est un outil de programmation qui crée de la documentation destinée aux programmeurs (il s'agit alors d'une documentation d'API) ou aux utilisateurs finaux (il s'agit alors d'un guide d'utilisateur) ou encore les deux.
Nouveau!!: OCaml et Générateur de documentation · Voir plus »
Génération de code natif
La génération de code natif est l'étape du processus de compilation transformant l'arbre syntaxique abstrait enrichi d'informations sémantiques en code machine ou en bytecode spécialisé pour la plateforme cible.
Nouveau!!: OCaml et Génération de code natif · Voir plus »
Généricité
En programmation, la généricité (ou programmation générique), consiste à définir des algorithmes identiques opérant sur des données de types différents.
Nouveau!!: OCaml et Généricité · Voir plus »
Geneweb
GeneWeb est un logiciel de généalogie libre et gratuit doté d'une interface web, utilisable aussi bien sur un ordinateur non connecté à Internet qu'en service web.
Nouveau!!: OCaml et Geneweb · Voir plus »
Guy Cousineau
Guy Cousineau est un universitaire français né le, spécialiste en informatique.
Nouveau!!: OCaml et Guy Cousineau · Voir plus »
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Nouveau!!: OCaml et Haskell · Voir plus »
Héritage (informatique)
En programmation orientée objet, l’héritage est un mécanisme qui permet, lors de la déclaration d’une nouvelle classe, d'y inclure les caractéristiques d’une autre classe.
Nouveau!!: OCaml et Héritage (informatique) · Voir plus »
IA-64
IA-64 (pour bits) est une architecture de processeurs Intel.
Nouveau!!: OCaml et IA-64 · Voir plus »
Inférence de types
L'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source.
Nouveau!!: OCaml et Inférence de types · Voir plus »
Institut national de recherche en informatique et en automatique
L'Institut national de recherche en informatique et en automatique (Inria) est un établissement public à caractère scientifique et technologique français spécialisé en mathématiques et informatique, placé sous la double tutelle du ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation et du ministère de l'Économie et des Finances.
Nouveau!!: OCaml et Institut national de recherche en informatique et en automatique · Voir plus »
Interprète (informatique)
En informatique, un interprète, ou interpréteur, est un outil dont la tâche est d'analyser, de traduire et d'exécuter les programmes écrits dans un langage informatique.
Nouveau!!: OCaml et Interprète (informatique) · Voir plus »
Jane Street
Jane Street Capital LLC, plus connue sous le nom de Jane Street, est une société américaine dans le domaine de la finance.
Nouveau!!: OCaml et Jane Street · Voir plus »
Java (langage)
Java est un langage de programmation de haut niveau orienté objet créé par James Gosling et Patrick Naughton, employés de Sun Microsystems, avec le soutien de Bill Joy (cofondateur de Sun Microsystems en 1982), présenté officiellement le au.
Nouveau!!: OCaml et Java (langage) · Voir plus »
KDE
KDE (sigle de Kool Desktop Environment) est un projet de logiciel libre historiquement centré autour d'un environnement de bureau pour systèmes UNIX.
Nouveau!!: OCaml et KDE · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: OCaml et Langage de programmation · Voir plus »
Licence publique générale limitée GNU
La Licence publique générale limitée GNU, ou GNU LGPL (pour GNU Lesser General Public License) en anglais, est une licence utilisée par certains logiciels libres.
Nouveau!!: OCaml et Licence publique générale limitée GNU · Voir plus »
Linux
Linux ou GNU/Linux est une famille de systèmes d'exploitation open source de type Unix fondés sur le noyau Linux créé en 1991 par Linus Torvalds.
Nouveau!!: OCaml et Linux · Voir plus »
Liste (informatique)
En informatique, une liste est une structure de données permettant de regrouper des données de manière à pouvoir y accéder librement (contrairement aux files et aux piles, dont l'accès se fait respectivement en mode FIFO et LIFO).
Nouveau!!: OCaml et Liste (informatique) · Voir plus »
Logiciel multiplateforme
Un logiciel multiplateforme est un logiciel conçu pour fonctionner sur plusieurs plateformes informatiques.
Nouveau!!: OCaml et Logiciel multiplateforme · Voir plus »
Lustre (langage)
Lustre est un langage de programmation synchrone, déclaratif, et par flots.
Nouveau!!: OCaml et Lustre (langage) · Voir plus »
Machine abstraite
En informatique théorique, et notamment en théorie des automates, un automate abstrait ou une machine abstraite est un modèle théorique d'un ordinateur digital et discret.
Nouveau!!: OCaml et Machine abstraite · Voir plus »
MacOS
macOS (auparavant Mac OS X –, puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis, dont les versions les plus récentes sont macOS Sonoma (version 14), macOS Ventura lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public.
Nouveau!!: OCaml et MacOS · Voir plus »
Mémoïsation
En informatique, la mémoïsation (ou mémoïzation) est la mise en cache des valeurs de retour d'une fonction selon ses valeurs d'entrée.
Nouveau!!: OCaml et Mémoïsation · Voir plus »
Mémoire (informatique)
En informatique, la mémoire est un dispositif électronique numérique qui sert à stocker des données.
Nouveau!!: OCaml et Mémoire (informatique) · Voir plus »
Métaprogrammation
La métaprogrammation,, désigne l'écriture de programmes qui manipulent des données décrivant elles-mêmes des programmes.
Nouveau!!: OCaml et Métaprogrammation · Voir plus »
MediaWiki
MediaWiki est un moteur de wiki pour le Web.
Nouveau!!: OCaml et MediaWiki · Voir plus »
Microsoft
Microsoft Corporation (Prononciation en anglais américain retranscrite selon la norme API.) est une multinationale informatique et micro-informatique américaine, fondée en 1975 par Bill Gates et Paul Allen.
Nouveau!!: OCaml et Microsoft · Voir plus »
Microsoft Windows
(littéralement « Fenêtres » en anglais) est au départ une interface graphique unifiée produite par Microsoft, qui est devenue ensuite une gamme de systèmes d’exploitation à part entière, principalement destinés aux ordinateurs compatibles PC.
Nouveau!!: OCaml et Microsoft Windows · Voir plus »
Mise en œuvre
La mise en œuvre est le fait de mettre en place un projet.
Nouveau!!: OCaml et Mise en œuvre · Voir plus »
ML (langage)
ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.
Nouveau!!: OCaml et ML (langage) · Voir plus »
MLDonkey
MLDonkey est une application destinée au partage de fichiers en pair à pair multiréseaux et libre.
Nouveau!!: OCaml et MLDonkey · Voir plus »
Module (programmation)
Un module désigne originellement un fichier de code de programmation ou un fichier de bibliothèque statique ou dynamique.
Nouveau!!: OCaml et Module (programmation) · Voir plus »
Ocsigen
Ocsigen est un outil de développement web et mobile, développé par le laboratoire français IRIF et par la société Be Sport SAS, utilisant des solutions nouvelles issues de la recherche sur les langages de programmation.
Nouveau!!: OCaml et Ocsigen · Voir plus »
Opa (logiciel)
Opa est un langage de programmation d'applications et services web utilisable sous licence Affero GPL ou sous licence privée.
Nouveau!!: OCaml et Opa (logiciel) · Voir plus »
Open source
Logo de l'Open Source Initiative, une organisation de soutien au mouvement open source. La désignation open source, ou code source ouvert, s'applique aux logiciels (et s'étend maintenant aux œuvres de l'esprit) dont la licence respecte des critères précisément établis par l', c'est-à-dire les possibilités de libre redistribution, d'accès au code source et de création de travaux dérivés.
Nouveau!!: OCaml et Open source · Voir plus »
Paradigme (programmation)
langue.
Nouveau!!: OCaml et Paradigme (programmation) · Voir plus »
Pascal (langage)
Pascal est un langage de programmation impératif qui, conçu pour l'enseignement, se caractérise par une syntaxe claire, rigoureuse et facilitant la structuration des programmes.
Nouveau!!: OCaml et Pascal (langage) · Voir plus »
Pilote informatique
Un pilote informatique (driver), ou un pilote de périphérique, souvent abrégé en pilote, est un programme informatique destiné à permettre à un autre programme (souvent un système d'exploitation) d'interagir avec un périphérique.
Nouveau!!: OCaml et Pilote informatique · Voir plus »
Polymorphisme (informatique)
En informatique et en théorie des types, le polymorphisme, du grec ancien polús (plusieurs) et morphê (forme), est le concept consistant à fournir une interface unique à des entités pouvant avoir différents types.
Nouveau!!: OCaml et Polymorphisme (informatique) · Voir plus »
Portabilité (informatique)
La portabilité d'un programme informatique est sa capacité à pouvoir être adapté plus ou moins facilement en vue de fonctionner dans différents environnements d'exécution.
Nouveau!!: OCaml et Portabilité (informatique) · Voir plus »
PowerPC
PowerPC, parfois abrégé PPC, est une gamme de microprocesseurs dérivée de l'architecture de processeur RISC POWER d'IBM, et développée conjointement par Apple, IBM et Freescale (anciennement Motorola Semiconducteurs).
Nouveau!!: OCaml et PowerPC · Voir plus »
Préprocesseur
Schéma d'un préprocesseur. En informatique, un préprocesseur est un programme qui procède à des transformations sur un code source, avant l'étape de traduction proprement dite (compilation ou interprétation).
Nouveau!!: OCaml et Préprocesseur · Voir plus »
Programmation fonctionnelle
La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Nouveau!!: OCaml et Programmation fonctionnelle · Voir plus »
Programmation impérative
En informatique, la programmation impérative est un paradigme de programmation qui décrit les opérations en séquences d'instructions exécutées par l'ordinateur pour modifier l'état du programme.
Nouveau!!: OCaml et Programmation impérative · Voir plus »
Programmation modulaire
En informatique, la programmation modulaire reprend l'idée de fabriquer un produit (le programme) à partir de composants (les modules).
Nouveau!!: OCaml et Programmation modulaire · Voir plus »
Programmation orientée objet
Schéma proposant un exemple de programmation orientée objet. La programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique.
Nouveau!!: OCaml et Programmation orientée objet · Voir plus »
Python (langage)
Python (prononcé) est un langage de programmation interprété, multiparadigme et multiplateformes.
Nouveau!!: OCaml et Python (langage) · Voir plus »
Ramasse-miettes (informatique)
Illustration d'un ramasse-miette compactant. Un ramasse-miettes.
Nouveau!!: OCaml et Ramasse-miettes (informatique) · Voir plus »
Récursion terminale
En informatique, la récursion terminale, aussi appelée, récursion finale, est un cas particulier de récursivité assimilée à une itération.
Nouveau!!: OCaml et Récursion terminale · Voir plus »
Récursivité
La récursivité est une démarche qui fait référence à l'objet même de la démarche à un moment du processus.
Nouveau!!: OCaml et Récursivité · Voir plus »
Robin Milner
Arthur John Robin Gorell Milner, né le à Yealmpton, près de Plymouth et mort le à Cambridge, est un informaticien britannique.
Nouveau!!: OCaml et Robin Milner · Voir plus »
Ruby
Ruby est un langage de programmation libre.
Nouveau!!: OCaml et Ruby · Voir plus »
Rust (langage)
est un langage de programmation compilé multi-paradigme qui met l'accent sur la performance, la sûreté des types et la concurrence.
Nouveau!!: OCaml et Rust (langage) · Voir plus »
Scala (langage)
Scala est un langage de programmation multi-paradigme conçu à l'École polytechnique fédérale de Lausanne (EPFL) pour exprimer les modèles de programmation courants dans une forme concise et élégante.
Nouveau!!: OCaml et Scala (langage) · Voir plus »
Scheme
(prononciation) est un langage de programmation dérivé du langage fonctionnel Lisp, créé dans les années 1970 au Massachusetts Institute of Technology (MIT) par Gerald Jay Sussman et Guy L. Steele.
Nouveau!!: OCaml et Scheme · Voir plus »
Secteur aéronautique et spatial
Le secteur aéronautique et spatial concerne les industries des secteurs de l'aéronautique et de l'espace, mais également l'industrie de l'armement.
Nouveau!!: OCaml et Secteur aéronautique et spatial · Voir plus »
Standard ML
Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel.
Nouveau!!: OCaml et Standard ML · Voir plus »
StrongARM
Le StrongARM est un microprocesseur RISC, conçu autour de l'architecture ARM.
Nouveau!!: OCaml et StrongARM · Voir plus »
Structure de données
En informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement.
Nouveau!!: OCaml et Structure de données · Voir plus »
Suite de Fibonacci
Une juxtaposition de carrés dont les côtés ont pour longueur des nombres successifs de la suite de Fibonacci: 1, 1, 2, 3, 5, 8, 13 et 21. En mathématiques, la suite de Fibonacci est une suite de nombres entiers dans laquelle chaque nombre est la somme des deux nombres qui le précèdent.
Nouveau!!: OCaml et Suite de Fibonacci · Voir plus »
Synchronisation de fichiers
La synchronisation de fichiers (ou de répertoires) est le processus permettant de faire correspondre les contenus de deux (ou plus) emplacements de stockage.
Nouveau!!: OCaml et Synchronisation de fichiers · Voir plus »
Système embarqué
Un système embarqué est un système électronique et informatique autonome, souvent temps réel, spécialisé dans une tâche précise.
Nouveau!!: OCaml et Système embarqué · Voir plus »
Système structurel de types
En programmation informatique, un système structurel de types est une classe majeure de système de types, dans laquelle la compatibilité et l'équivalence de type est déterminée par la structure du type et non par des déclarations explicites.
Nouveau!!: OCaml et Système structurel de types · Voir plus »
Table de hachage
Une table de hachage est, en informatique, une structure de données qui permet une association clé–valeur, c'est-à-dire une implémentation du type abstrait tableau associatif.
Nouveau!!: OCaml et Table de hachage · Voir plus »
Transformation de Fourier rapide
La transformation de Fourier rapide (sigle anglais: FFT ou) est un algorithme de calcul de la transformation de Fourier discrète (TFD).
Nouveau!!: OCaml et Transformation de Fourier rapide · Voir plus »
Typage fort
En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées.
Nouveau!!: OCaml et Typage fort · Voir plus »
Typage statique
Le typage statique est une technique utilisée dans certains langages de programmation impératifs (C++, Java, Pascal, ou même Visual Basic avec lOption Explicit) pour associer à un symbole dénotant une variable le type de la valeur dénotée par la variable; et dans certains langages de programmation fonctionnels (ML, OCaml, Haskell, PureScript, etc.) pour associer à une fonction (un calcul) le type de son paramètre et le type de la valeur calculée.
Nouveau!!: OCaml et Typage statique · Voir plus »
Type algébrique de données
Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (‐uplets ou enregistrements) et des types sommes (union disjointe).
Nouveau!!: OCaml et Type algébrique de données · Voir plus »
Type récursif
En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive.
Nouveau!!: OCaml et Type récursif · Voir plus »
Unison (logiciel)
Unison est un logiciel de synchronisation de fichiers, doté également de fonctionnalités lui permettant de créer et gérer des sauvegardes de répertoires.
Nouveau!!: OCaml et Unison (logiciel) · Voir plus »
Université Paris-Diderot
L'université Paris-DiderotNom d'usage dont s'est doté l'établissement par délibération de son conseil d'administration.
Nouveau!!: OCaml et Université Paris-Diderot · Voir plus »
Visual Basic
Visual Basic (VB) est un langage de programmation événementielle de troisième génération ainsi qu'un environnement de développement intégré, créé par Microsoft pour son modèle de programmation COM.
Nouveau!!: OCaml et Visual Basic · Voir plus »
Webradio
Le service de webradio de la Freebox Une webradio, ou netradio, est une installation informatique permettant la diffusion radiophonique sur Internet grâce à la technique de la lecture en continu.
Nouveau!!: OCaml et Webradio · Voir plus »
X86
La famille x86 regroupe les microprocesseurs compatibles avec le jeu d'instructions de l'Intel 8086.
Nouveau!!: OCaml et X86 · Voir plus »
Xavier Leroy
Xavier Leroy (né le) est un informaticien français, professeur au Collège de France et précédemment directeur de recherche à l'INRIA.
Nouveau!!: OCaml et Xavier Leroy · Voir plus »
Xen
Xen est un logiciel libre de virtualisation, plus précisément un hyperviseur de machine virtuelle, de type 1.
Nouveau!!: OCaml et Xen · Voir plus »
1984 en informatique
---- Cet article présente les principaux évènements de 1984 dans le domaine informatique.
Nouveau!!: OCaml et 1984 en informatique · Voir plus »
1987 en informatique
----.
Nouveau!!: OCaml et 1987 en informatique · Voir plus »
1990 en informatique
---- Cet article présente les principaux évènements de 1990 dans le domaine informatique.
Nouveau!!: OCaml et 1990 en informatique · Voir plus »
1995 en informatique
---- Cet article présente les principaux évènements de 1995 dans le domaine informatique.
Nouveau!!: OCaml et 1995 en informatique · Voir plus »
1996 en informatique
---- Cet article présente les principaux évènements de 1996 dans le domaine informatique.
Nouveau!!: OCaml et 1996 en informatique · Voir plus »
2000 en informatique
---- Cet article présente les principaux évènements de l'an 2000 en informatique.
Nouveau!!: OCaml et 2000 en informatique · Voir plus »
