10 relations: Code source, David H. D. Warren, Jeu d'instructions, Machine virtuelle, Mémoire (informatique), Pile (informatique), Prolog, Tas (informatique), Unification, 1983.
Code source
fr.
Nouveau!!: Warren's Abstract Machine et Code source · Voir plus »
David H. D. Warren
David H.D. Warren est un spécialiste de l'intelligence artificielle.
Nouveau!!: Warren's Abstract Machine et David H. D. Warren · Voir plus »
Jeu d'instructions
Le jeu d'instructions est l'ensemble des instructions-machine qu'un processeur d'ordinateur peut exécuter.
Nouveau!!: Warren's Abstract Machine et Jeu d'instructions · Voir plus »
Machine virtuelle
Palm. En informatique, une machine virtuelle (anglais virtual machine, abr. VM) est d'un appareil informatique créée par un logiciel d'émulation ou instanciée sur un hyperviseur.
Nouveau!!: Warren's Abstract Machine et Machine virtuelle · Voir plus »
Mémoire (informatique)
En informatique, la mémoire est un dispositif électronique numérique qui sert à stocker des données.
Nouveau!!: Warren's Abstract Machine et Mémoire (informatique) · Voir plus »
Pile (informatique)
En informatique, une pile (en anglais stack) est une structure de données fondée sur le principe « dernier arrivé, premier sorti » (en anglais LIFO pour last in, first out), ce qui veut dire qu'en général, le dernier élément ajouté à la pile est le premier à en sortir.
Nouveau!!: Warren's Abstract Machine et Pile (informatique) · Voir plus »
Prolog
Prolog est un langage de programmation logique.
Nouveau!!: Warren's Abstract Machine et Prolog · Voir plus »
Tas (informatique)
Un exemple de tas. Il contient 9 éléments. L'élément le plus prioritaire (100) est à la racine. En informatique, un tas (ou monceau au Canada, heap en anglais) est une structure de données de type arbre qui permet de retrouver directement l'élément que l'on veut traiter en priorité.
Nouveau!!: Warren's Abstract Machine et Tas (informatique) · Voir plus »
Unification
Unifier deux termes, c'est les rendre identiques en remplaçant les variables. En informatique et en logique, l'unification est un processus algorithmique qui, étant donnés deux termes, trouve une substitution qui appliquée aux deux termes les rend identiques.
Nouveau!!: Warren's Abstract Machine et Unification · Voir plus »
1983
L'année 1983 est une année commune qui commence un samedi.
Nouveau!!: Warren's Abstract Machine et 1983 · Voir plus »