Informatique théorique semantics

1

Quelle est la différence entre le sens et la dénotation?

Dans la sémantique du langage de programmation, on entend souvent que les gens parlent de sens et de dénotation . Ils ne semblent pas être les mêmes. Quelle est la différence? Le premier est-il associé à la sémantique opérationnelle tandis que le second à la sémantique dénotationnelle? Merci.

10 pl.programming-languages semantics denotational-semantics operational-semantics

1

Dans la théorie des domaines, à quoi peut servir la structure supplémentaire présente dans les espaces métriques?

Le chapitre de Smyth dans le manuel de logique en informatique et d'autres références décrivent comment les espaces métriques peuvent être utilisés comme domaines. Je comprends que les espaces métriques complets donnent des points fixes uniques mais je ne comprends pas pourquoi les espaces métriques sont importants. J'apprécierais vraiment toute …

10 semantics topology denotational-semantics domain-theory metrics

3

Qu'est-ce qu'un bon dictionnaire Théorie des catégories-Théorie des domaines?

En traitant des catégories théoriques du domaine (disons CPO et CPO), je souhaite souvent un dictionnaire pour le langage de la théorie des catégories dans la théorie des domaines.ωω\omega Autrement dit, étant donné un concept, disons flèche monique, je pourrais le rechercher dans le dictionnaire et voir quelles sont les …

10 ct.category-theory semantics denotational-semantics domain-theory

2

Compilateur certifié et optimisations dans Coq / Agda

Je m'intéresse aux compilateurs vérifiés formalisés en théorie de type Martin-Löf, c'est-à-dire Coq / Agda. En ce moment, j'ai écrit un petit exemple de jouet. Ainsi, je peux prouver que mes optimisations sont correctes. Par exemple, les ajouts avec zéro peuvent être éliminés, c'est-à-dire des expressions comme "x + 0". …

9 reference-request pl.programming-languages type-theory semantics compilers

2

Définition formelle / contrepartie en mathématiques pour les «objets» des modèles orientés objet

C'est une question que j'ai posée dans le forum Mathématiques SE, et j'ai été référé ici. Voici donc la question- Je suis un débutant en mathématiques formelles et en informatique théorique, alors soyez indulgent avec vous si vous trouvez que ma question n'est pas bien formulée. La modélisation orientée objet …

9 pl.programming-languages semantics formal-modeling set-theory object-oriented

Questions marquées «semantics»