un article plus général, voir Sémantique des langages de programmation. En informatique, la sémantique opérationnelle est l'une des approches qui servent...

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

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...

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...

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...

{\displaystyle Y(\lambda x^{\alpha }.x)} . PCF peut être muni d'une sémantique opérationnelle → {\displaystyle \to } . Si M {\displaystyle M} et N {\displaystyle...

discussion. Pour un article plus général, voir Sémantique des langages de programmation. La sémantique axiomatique est une approche basée sur la logique...

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...

réponses à ces considérations relèvent de l’épistémologie et de la sémantique opérationnelle autant que de la biologie. Le problème se complique du fait que...

Wiktionnaire Informatique théorique : en sémantique des langages de programmation, on parle de sémantique opérationnelle. Mathématiques : les opérations sont...

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...

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...

Tracts in theoretical computer science », 1998 Sémantique des langages de programmation Sémantique opérationnelle Substitution explicite Réécriture (informatique)...

langages en améliorant la manière de spécifier, simuler et tester la sémantique opérationnelle des métamodèles. Il permet en outre d’appliquer plus facilement...

aéroports; Structural Operational Semantics, une catégorie de sémantique opérationnelle ; Sensor Observation Service, ou service d'observation des capteurs...

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 pour...

ignorées. Typiquement, si le système de transition d'états donne la sémantique opérationnelle d'un langage de programmation, alors la définition précise de...

recherches sur la théorie des types, la théorie des objets et la sémantique opérationnelle,. Il a participé à la conception du langage de programmation Modula-3...

Science (LFCS). Il est connu pour avoir introduit le concept de sémantique opérationnelle structurelle (SOS), aussi appelée Small Step Semantics en théorie...

types abstraits dont le comportement peut être défini par leur sémantique opérationnelle; l'illustration la plus simple est la spécification d'une pile...

(DOI 10.1145/365230.365257, lire en ligne) Sémantique des langages de programmation Sémantique opérationnelle Machine de Krivine Machine virtuelle Java...

Le chat VERBE → Le chat dort exprimer la sémantique d’un langage de programmation (sémantique opérationnelle) ; étudier la structure d’un groupe ou d’un...

ontologie, une autre définition, plus opérationnelle, peut être formulée ainsi : « Une ontologie est un réseau sémantique qui regroupe un ensemble de concepts...

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

Krivine ou la machine SECD Système de transition associé à une sémantique opérationnelle Portail de l’informatique Portail de l'informatique théorique...

le Web sémantique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) — pour plus d’indications, visitez le projet Web Sémantique. Consultez...

Krishnamurthi. Pour sa thèse, Felleisen développe une nouvelle forme de sémantique opérationnelle pour les langages fonctionnels d'ordre supérieur avec des extensions...

est de décrire des concepts en fonction d'autres concepts. La sémantique opérationnelle de ISWIM est définie à l'aide de la machine abstraite SECD et...

féminisé en « Maîtresse » serait inacceptable en raison de l'altération sémantique induite. Néanmoins, le terme familier de « marinette » peut être employé...

disjointe entre ensembles. Système de transition d'états Bisimulation Définition coinductive Sémantique opérationnelle Portail de l'informatique théorique...

de Varsovie en 2012, intitulée Bialgèbre et logique modale en sémantique opérationnelle. Ses travaux sont publiés dans des revues internationales, notamment...