Grace HopperGrace Murray Hopper est une informaticienne américaine et Rear admiral (lower half) de la marine américaine, née le à New York et morte le dans le comté d'Arlington. Elle est la conceptrice du premier compilateur en 1951 (A-0 System) et du langage Cobol en 1959. Grace Brewster Murray est née le à New York. Elle étudie les mathématiques, la physique et l'économie au Vassar College, et en sort diplômée en 1928. En 1934, elle obtient un doctorat en mathématiques de l'université Yale.
Compiled languageA compiled language is a programming language whose implementations are typically compilers (translators that generate machine code from source code), and not interpreters (step-by-step executors of source code, where no pre-runtime translation takes place). The term is somewhat vague. In principle, any language can be implemented with a compiler or with an interpreter. A combination of both solutions is also common: a compiler can translate the source code into some intermediate form (often called p-code or bytecode), which is then passed to an interpreter which executes it.
Forme de Backus-NaurLa forme de Backus-Naur (souvent abrégée en BNF, de l'anglais Backus-Naur Form) est une notation qui permet d'écrire les règles des langages informatiques (notamment des langages de programmation). C’est donc un métalangage employé pour définir inductivement un langage. Elle est utilisée dans certains livres pour décrire le langage étudié, mais également par de nombreux logiciels d’analyse syntaxique pour travailler sur des fichiers sources de plusieurs langages différents.
Makevignette|Capture d'écran du logiciel Make Make est un logiciel qui construit automatiquement des fichiers, souvent exécutables, ou des bibliothèques à partir d'éléments de base tels que du code source. Il utilise des fichiers appelés makefile qui spécifient comment construire les fichiers cibles. À la différence d'un simple script shell, make exécute les commandes seulement si elles sont nécessaires. Le but est d'arriver à un résultat (logiciel compilé ou installé, documentation créée, etc.
American National Standards InstituteL’American National Standards Institute (ANSI, « Institut national de normalisation américain ») est un organisme privé à but non lucratif qui supervise le développement de normes pour les produits, les services, les procédés, les systèmes et les employés des États-Unis. Ces normes sont proposées à partir d’une démarche volontaire et consensuelle. L’organisation coordonne également la définition des normes américaines avec les normes internationales afin que les produits américains puissent être utilisés à l’étranger.
Transparence référentielleLa transparence référentielle est une propriété des expressions d'un langage de programmation qui fait qu'une expression peut être remplacée par sa valeur sans changer le comportement du programme. Une expression est référentiellement transparente si elle peut être remplacée par sa valeur sans changer le comportement du programme (c'est-à-dire que le programme a les mêmes effets et les mêmes sorties pour les mêmes entrées, quel que soit son contexte d'exécution).
Machine LispLes machines Lisp sont des ordinateurs conçus pour interpréter Lisp efficacement et nativement. D'une certaine manière, elles furent les premières stations de travail mono-utilisateur commercialisées. Malgré le faible nombre de machines Lisp (environ unités en 1988), beaucoup de technologies communes de nos jours (telles qu'un ramasse-miettes efficace, l'impression laser, les interfaces fenêtrées, la souris, les haute résolution, les moteurs de rendu et plusieurs innovations dans le domaine des réseaux) ont été développées en premier lieu sur des machines Lisp comme celles utilisées par le centre de recherche Xerox PARC.
Alan KayAlan C. Kay, né le à Springfield au Massachusetts, est un informaticien américain. Après des études à l'université du Colorado à Boulder, il fait un PhD d'informatique à l'université d'Utah de 1966 à 1969, avec David Evans (son directeur de thèse) et Ivan Sutherland. Très influencé par le langage Simula, il définit alors le langage orienté objet « Flex » et une machine d'exécution de Flex, avec l'objectif de permettre une programmation très conviviale. Flex peut être considéré comme un précurseur de Smalltalk.
James GoslingJames Gosling (né le près de Calgary en Alberta au Canada) est un informaticien canadien. Il est surtout connu comme le concepteur du langage de programmation Java. Après un B.Sc en informatique en 1977 à l'université de Calgary, il obtient son Ph.D en informatique théorique en 1983 à l'université Carnegie-Mellon aux États-Unis. Sa thèse porte sur la « manipulation algébrique des contraintes ». Il est le concepteur du langage de programmation Java en 1994 et du système de fenêtrage NeWS.
Sémantique dénotationnelleEn informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique opérationnelle. Cette discipline a été introduite par Christopher Strachey et Dana Scott. En général, la sémantique dénotationnelle utilise des techniques de programmation fonctionnelle pour décrire les langages informatiques, les architectures et les programmes.
