Catégories
 > 5. Information et communication > 5.40 Technologie de l'information (logiciels) > Programmation informatique > Langage de programmation
Langage de programmationSynonyme(s)EN Programming languagesVoir aussi |
Documents disponibles dans cette catégorie (6)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur |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[...]Article : texte imprimé
Gilles Dowek, Personne interviewée ; Erwan Cario, Intervieweur | Libération SARL |Interview de Gilles Dowek, chercheur français à l'Institut national de recherche en informatique et en automatique (Inria), et auteur d'un essai intitulé "Ce dont on ne peut parler, il faut l'écrire", paru en 2019, sur l'étude des différents lan[...]Article : texte imprimé
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[...]Article : texte imprimé
Jérôme Kirman, Auteur |Présentation des machines de Turing et du jeu des Castors affairés : l'invention en 1936 par le mathématicien britannique Alan Turing d'une machine qui permet d'exécuter des calculs selon un programme ; l'analyse du comportement d'un programme i[...]document électronique
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[...]Article : texte imprimé
Dans Medium [presse américaine] extraits d'une enquête au sujet des langages de programmation : l'enjeu de la maîtrise des nouveaux langages de programmation ; le GO de Google et la Swift d'Apple ; les compromis indispensables à la création d'un[...]
