Sémantique formelle des langages de programmation

17

Je suis nouveau dans la théorie des langages de programmation et je cherche une bonne ressource sur une ressource pour la sémantique formelle des langages de programmation. Recherche spécifique de sémantique opérationnelle structurelle. J'ai reçu quelques recommandations de livres. Mais je cherche une ressource à un niveau plus introductif. Surtout les tutoriels, le site Web et les recommandations de livres gratuits sont les bienvenus.

reference-request pl.programming-languages semantics formal-systems défaillance du système
la source
2
Voir cstheory.stackexchange.com/questions/3533/…
Dave Clarke
J'allais poster exactement le même lien, mais j'ai ensuite remarqué que l'OP avait déjà mentionné qu'ils avaient des recos de livres et cherchaient d'autres références
Suresh Venkat

Réponses:

8

La sémantique opérationnelle structurelle (SOS) est un concept très général. Il s'agit essentiellement d'une relation binaire sur les configurations (généralement des programmes plus un contexte, comme un état ou des suites disponibles), ou, dans le cas d'une sémantique étiquetée, une relation ternaire entre configurations, actions (qui représentent certains contextes minimaux) et configurations. Le bit "structurel" est généralement que ces relations sont définies inductivement sur la syntaxe impliquée (par exemple les configurations et les actions).

En tant que tel, sans autre exigence, les entités mathématiques que nous considérons dans SOS sont trop générales pour être intéressantes / exploitables en elles-mêmes.

Le SOS devient intéressant et substantiel lorsque nous examinons des cas particuliers, par exemple les équivalences pour les calculs temporels, les transitions étiquetées pour le calcul ambiant asynchrone correspondant aux réductions, ou les questions sur l'expressivité de certains (classes de) calculs.

Donc, ma recommandation pour Mr / Ms Systemsfault est de sauter des généralités et de sauter directement dans des calculs d'intérêt spécifiques. Les techniques SOS générales peuvent être facilement reprises en cours de route.

Martin Berger
la source