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.

— défaillance du système
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

10

Regarder le cours de sémantique opérationnelle dans mon université donne les trois suivants:

Notes de conférence d' Andrew Pitts
Notes d'Aarhus de Gordon Plotkin sur la sémantique opérationnelle structurelle
La sémantique des langages de programmation de Matthew Hennessey

Ohad.

— Ohad Kammar
source

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
source

7

Je recommanderais de lire le chapitre 2 de ce livre téléchargeable:

Semantics with Applications: A Formal Introduction, Hanne Riis Nielson and Flemming Nielson, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html

— Chan Li
source