Catégorie langage de programmation

   Tris disponibles (Ouverture d'une modale) Ajouter le résultat à ma sélection

  Affiner la recherche

Article de périodique

Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale"

• Dans le périodique : La Recherche (Paris. 1970), n°548 (06/2019) p.4-8
• • Personne interviewée : Xavier Leroy
  • Intervieweur : Philippe Pajot

Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des lan[...]

Ajouter à ma sélection

Site web

L'ère de l'électronique : Logiciels et langages

• Editeur : Guillier, François 2016

Chronologie des dates clés dans le matériel électronique appliqué à l'informatique et ses logiciels de 1945 à 2000 : du bug au C# en passant par les différents langages, les systèmes d'exploitation et les Langages de Description de Pages...

En ligne

Ajouter à ma sélection

Article de périodique

"Il faut imposer la transparence"

• Dans le périodique : L'Express (Paris), n°3760-3761 (27/07/2023) p.34-36
• Frédéric Filloux

L'analyse d'Antoine Bordes, ingénieur en intelligence artificielle (IA), notamment pour Meta, sur les conditions de développement des intelligences artificielles et le contrôle des grands modèles de langage (LLM - large language models) : la néc[...]

Ajouter à ma sélection

Article de périodique

Kotlin, un langage russe à la portée de tous

• Dans le périodique : Courrier international (Paris. 1990), n°1413 (30/11/2017) p.42-43
• Auteur : Elena Koudriavtseva

Dans Ogoniok [presse russe], extraits d'un reportage sur le langage informatique Kotlin, développé par des programmeurs russes de l'entreprise JetBrains et reconnu par Google : son but et ses avantages ; les difficultés des programmeurs face à l[...]

Ajouter à ma sélection

Article de périodique

Les langages du Web

• Dans le périodique : Textes et documents pour la classe, n°1116 (15/06/2018) p.40-43
• Auteur : Baptiste Mélès

Présentation des langages du Web : la définition du World Wild Web ; le protocole http ; le langage virtuel ; les balises ; le développement des fonctionnalités ; la programmation.

Ajouter à ma sélection

Article de périodique

Licorne d'Europe. Mistral gagnant

• Dans le périodique : Courrier international (Paris. 1990), n°1760-1761-1762 (25/07/2024) p.48-49

Dans The Economist [presse britannique] , extraits de l'enquête sur la start-up parisienne Mistral AI, spécialiste des grands modèles de langage (LLM) : la mise au point par Open AI du LLM , GPT-4 ; les explications du directeur général de Mistr[...]

Ajouter à ma sélection

Site web

L'ordinateur musicien

• Auteur : Marie Chevais-Mora
• Editeur : Centre national de la recherche scientifique (Cnrs) 2015 1 vidéo : 5 min 07 s

Reportage sur l'utilisation du langage synchrone et informatique Esterel, développé par l'informaticien Gérard Berry, dans la composition de musique contemporaine : son intégration dans le logiciel de création musicale Antescofo développé par Ar[...]

En ligne

Ajouter à ma sélection