La sémantique décrit formellement la signification de certaines syntaxes.
Quelle est la différence fondamentale entre la sémantique opérationnelle à petite et à grande étape? J'ai du mal à comprendre ce que c'est et la motivation pour avoir les
Je recherche un calcul simple qui prend en charge le raisonnement sur la réflexion , à savoir l'introspection et la manipulation des programmes en cours d'exécution. Existe-t-il une extension -calculus non typée qui permet de convertir termes en une forme qui peut être manipulée syntaxiquement puis...
Étant donné un système de transition étiqueté , où est un ensemble d'états, est un ensemble d'étiquettes et est une relation ternaire. Comme d'habitude, écrivez pour . La transition étiquetée indique que le système dans l'état change d'état en avec l'étiquette , ce qui signifie que est une action...
Dans les langages de programmation, les fermetures sont une fonctionnalité populaire et souvent souhaitée. Wikipédia dit (c'est moi qui souligne): En informatique, une fermeture (...) est une fonction associée à un environnement de référence pour les variables non locales de cette fonction. Une...
Dans l'article "Un type de données JSON répliqué sans conflit" , j'ai rencontré cette notation pour définir formellement des "règles": Comment s'appelle cette notation? Comment est-ce que je le lis? Par exemple: la DOCrègle n'a rien dans son "numérateur" - pourquoi pas? les règles EXECet...
Je me bats vraiment avec cette propriété: Soient X,YX,YX,Y soit des espaces de cohérence et f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) est une fonction monotone. est continu si et seulement si , pour tout tel que D est un ensemble
En ce qui concerne les fonctionnalités dans des langages comme ruby (et javascript), qui permettent à un programmeur d'étendre / remplacer des classes à tout moment après l'avoir défini (y compris des classes comme String), est-il théoriquement possible de concevoir un langage permettant aux...
Supposons que nous ayons un langage simple composé des termes: truetrue\mathtt{true} falsefalse\mathtt{false} si sont des termes, alorst1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Supposons maintenant les règles...
Je connais la sémantique opérationnelle (petite et grande étape) pour définir les langages de programmation. Je suis également intéressé à apprendre la sémantique dénotationnelle, mais je ne sais pas si cela en vaudra la peine. Vais-je simplement apprendre le même matériel d'un point de vue...
Je pense que je suis assez confus à propos de ce qu'on appelle un calcul et ce qu'on appelle un langage de programmation. J'ai tendance à penser, et on aurait pu le dire, qu'un calcul est un système formel de raisonnement sur l'équivalence des programmes. Les programmes ont une sémantique...
Il existe de nombreuses langues populaires. Mais, les informaticiens nous disent que pour comprendre le comportement des programmes dans ces langues argumenter définitivement et sans ambiguïté sur le comportement du programme (par exemple prouver leur identité), nous devons les traduire dans un...
Je sais que différents auteurs utilisent une notation différente pour représenter la sémantique du langage de programmation. En fait, Guy Steele aborde ce problème dans une vidéo intéressante . J'aimerais savoir si quelqu'un sait si le principal opérateur de tourniquet a une signification bien...
Existe-t-il un outil pour prototyper la sémantique et le système de type d'un langage de programmation et qui permet également une sorte de vérification du modèle des propriétés standard, comme la solidité du type? Je pose cette question, car je lis un livre sur Alloy et il fournit la...
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...
Dans la discussion autour de cette question , Gilles mentionne correctement que toute preuve d'exactitude d'un algorithme qui utilise des tableaux doit prouver qu'il n'y a pas d'accès de tableau hors limites; selon le modèle d'exécution, cela entraînerait une erreur d'exécution ou l'accès à des...
Je recherche des ressources pour débuter avec l'analyse de programme . Le seul livre que j'ai trouvé sur le sujet est le livre Nielson & Nielson . En dehors de cela, il semble qu'il n'y ait que des livres de "compilateur" où "l'analyse de programme" serait un chapitre, ou quelque chose du...
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai...
StackOverflow m'a pointé ici, donc la question pourrait être un peu en termes simples. Wikipedia définit les fonctions pures comme En programmation informatique, une fonction peut être décrite comme une fonction pure si ces deux déclarations sur la fonction sont valables: La fonction évalue...
Disons que les listes sont définies comme List a = Nil | Cons a (List a) Alors, à Haskell est List xle plus grand point ou le moins fixe? Je demande parce que le lfp devrait exclure les listes infinies (mais vous pouvez les construire dans Haskell), tandis que le gfp devrait exclure les listes...
Dans le chapitre 1 de Foundations pratiques pour les langages de programmation , l'auteur mentionne que les arbres de syntaxe abstraite sont associés aux tris . Intuitivement, les tris sont comme des types, mais j'aimerais savoir s'ils ont une définition précise. Je serais heureux si certaines...