Catégories
|
Motbis > 3110 informatique > informatique > génie logiciel > langage de programmation
langage de programmation
Commentaire :
NC. cas général
Synonyme(s)Ada ;APL ;assembleur ;Basic ;Cobol ;Forth ;Fortran ;langage algorithmique ;langage auteur ;langage C ;langage compilé ;langage d'assemblage ;langage d'interrogation de base de donné ;langage déclaratif ;langage machine ;logo (programmation) ;langage interprété ;outil de programmation ;langage de requête ;SQL ;langage orienté objet ;LSE ;langage évolué ;langage tutoriel ;Pascal ;Langage Symbolique d'Enseignement ;Logo ;Small talk ;langage exécutable ;Lisp PrologVoir aussi |
Documents disponibles dans cette catégorie (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesEtendre la recherche sur niveau(x) vers le bas
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[...]
