un article plus général, voir Sémantique des langages de programmation. En informatique, la sémantique dénotationnelle est une des approches permettant...

opérationnelle sémantique dénotationnelle sémantique axiomatique. Article détaillé : Sémantique opérationnelle. En sémantique opérationnelle, la signification...

états du programme lors de l’exécution. La sémantique opérationnelle est reliée à la sémantique dénotationnelle au travers du concept d'abstraction. La syntaxe...

formule ϕ {\displaystyle \phi } en la variable liée Z ; voir la sémantique dénotationnelle plus bas pour plus de détails. Les modèles d'une formule mu-calcul...

recommandations des projets correspondants. En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétation, des langages formels et naturels...

5;; dans le second. Il existe une sémantique dénotationnelle dite par passage de continuation. Dans cette sémantique, le sens mathématique d'un programme...

Programmation fonctionnelle Réalisabilité Théorie des catégories Sémantique dénotationnelle Théorème de Herbrand Théorie des domaines Théorie des types Complexité...

la sémantique ou la « signification » d'un programme informatique sont la sémantique dénotationnelle, la sémantique opérationnelle et la sémantique axiomatique...

λ-calcul appliqué. Le corollaire est immédiat : la sémantique dénotationnelle est équivalente à la sémantique opérationnelle. Enfin, la quête d’un langage ultime...

de très nombreux travaux allant des années 1960 à nos jours : sémantique dénotationnelle, logique linéaire, réalisabilité, démonstration automatique, etc...

libre, GNU, FSF, Emacs) Christopher Strachey (créateur de la sémantique dénotationnelle) Bjarne Stroustrup (C++) Alan Sugar (Amstrad) Gerald Jay Sussman...

succession d'états de la machine. Sémantique des langages de programmation Logique de Hoare Sémantique dénotationnelle Sémantique opérationnelle Portail de l’informatique...

haut niveau conçu et imaginé par Carl Sassenrath basé sur la sémantique dénotationnelle et se proclamant « Messaging Language ». On peut éventuellement...

mathématique de la programmation, Strachey a introduit l'idée de sémantique dénotationnelle (d'abord appelée mathématique) dont l'objectif est de fournir...

d'une sémantique dénotationnelle du lambda-calcul. Les domaines sont des ensembles partiellement ordonnés. Dans la sémantique dénotationnelle du lambda-calcul...

machine la sémantique opérationnelle est réalisée par le processeur lui-même. Auxquels on ajoute parfois un troisième constituant : une sémantique dénotationnelle...

central en informatique théorique, où elle permet de définir des sémantiques dénotationnelles pour les langages de programmation. Les ensembles partiellement...

2014 Gordon Plotkin ICALP (Copenhague) Sémantique opérationnelle structurelle (SOS), sémantique dénotationnelle, théorie des types, théorie des domaines...

apparaissent dans l'étude de modèles pour les lambda-calculs et la sémantique dénotationnelle des programmes informatiques. Une fonction continue de Scott est...

est efficace. Cependant, la sémantique ne sert pas qu'à « définir » la vérité. Par exemple, la sémantique dénotationnelle est une interprétation, non...

Modèle non standard Sémantique de Kripke Sémantique dénotationnelle Type (théorie des modèles) Théorie stable (en) Cours de sémantique formelle Daniel Lascar...

lambda calcul, ou dans des sujets plus spécialisés, comme la sémantique dénotationnelle des programmes informatiques. Deux fonctionnelles importantes...

in C Programming explained. Sémantique des langages de programmation Sémantique opérationnelle Sémantique dénotationnelle Substitution explicite Portail...

Bakker travaillait en sémantique des langages de programmation, notamment en sémantique opérationnelle et sémantique dénotationnelle, où il était considéré...

il est le précurseur de plusieurs domaines de recherche : en sémantique dénotationnelle, sa théorie des domaines concrets (en coopération avec Gordon...

porté sur la logique mathématique, la théorie de la récursion, la sémantique dénotationnelle, le lambda-calcul, la théorie des types, la théorie des catégories...

théorie des langages de programmation. Il travaille également en sémantique dénotationnelle, théorie des types, théorie des domaines et analyse catégorielle...

une approche mathématique dans l'étude des programmes, de la sémantique dénotationnelle et l'un des pionniers du langage de programmation,. Né en 1916...

exécuter (analyse statique), décrire rigoureusement la sémantique des langages de programmation (sémantique axiomatique). La logique de Hoare a des axiomes pour...

on parle alors de sémantique. Il en existe de différentes natures, chacune adaptée au paradigme de calcul voulu : dénotationnelle, opérationnelle, axiomatique...

fonctionnel (« non procédural » comme on l'appelait à l'époque ou « dénotationnelle » comme l'appelle Landin ou encore « descriptif » ou « déclaratif »...