Questions marquées «semantics»

On entend parfois «Swift ne fait pas de GC classique (traçage), il utilise ARC». Mais je ne sais pas s'il y a quelque chose dans la sémantique Swift qui nécessite un comptage de références. Il semble que l'on pourrait construire son propre compilateur Swift et son propre runtime pour utiliser le...

Habituellement, je vois que dans la représentation sémantique opérationnelle structurelle pour la boucle while, l'état du programme ne change pas: ( W h i l eBréoS, σ) → ( i fBt h e nS; ( W h i l eBréoS)e l s eSKjeP, σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma)...

Dans le calcul lambda pur, nous avons l'ensemble de termes définis par induction (la grammaire): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Dans le cadre de la stratégie d'évaluation de l'appel par valeur, nous avons les règles d'inférence pour la réduction bêta et les...

Je suis sur le point de mettre en œuvre un langage spécifique au domaine pour la représentation des conventions d'apprentissage social. Une partie de l'implémentation est une description formelle d'un langage - son «calcul», ses symboles et ses expressions logiques. Mon approche serait de décrire...