Semantica formale dei linguaggi di programmazione

17

Sono nuovo nella teoria dei linguaggi di programmazione e sto cercando una buona risorsa su una risorsa per la semantica formale dei linguaggi di programmazione. In particolare alla ricerca della semantica operativa strutturale. Ho ricevuto alcuni consigli sui libri. Ma sto cercando una risorsa a un livello più introduttivo. Soprattutto tutorial, sito web e consigli sui libri gratuiti sono i benvenuti.

— systemsfault
fonte

2

Vedi cstheory.stackexchange.com/questions/3533/…

— Dave Clarke il

Avevo intenzione di pubblicare lo stesso link esatto, ma poi ho notato che l'OP aveva già menzionato che avevano delle raccolte di libri e stavano cercando altri riferimenti

— Suresh Venkat,

10

Guardando il corso di semantica operativa presso la mia Università, ho le seguenti tre cose:

Appunti di lezione di Andrew Pitts
Le note di Aarhus di Gordon Plotkin sulla semantica operativa strutturale
La semantica dei linguaggi di programmazione di Matthew Hennessey

Ohad.

— Ohad Kammar
fonte

8

La semantica operativa strutturale (SOS) è un concetto molto generale. È essenzialmente solo una relazione binaria su configurazioni (di solito programmi più un contesto, come stato o continuazioni disponibili) o, in caso di semantica etichettata, una relazione ternaria tra configurazioni, azioni (che rappresentano determinati contesti minimi) e configurazioni. Il bit "strutturale" è di solito che queste relazioni sono definite induttivamente sulla sintassi coinvolta (ad es. Configurazioni e azioni).

Pertanto, senza altri requisiti, le entità matematiche che consideriamo in SOS sono troppo generali per essere interessanti / trattabili a pieno titolo.

SOS diventa interessante e sostanziale quando esaminiamo casi speciali, ad esempio equivalenze per calcoli temporizzati, transizioni etichettate per calcolo ambientale asincrono corrispondenti a riduzioni o domande sull'espressività di determinati (classi di) calcoli.

Quindi la mia raccomandazione per Mr / Ms Systemsfault è quella di saltare le generalità e saltare direttamente a specifici calcoli di interesse. Le tecniche SOS generali possono essere facilmente raccolte lungo il percorso.

— Martin Berger
fonte

7

Consiglierei di leggere il capitolo 2 in questo libro scaricabile:

Semantica con applicazioni: un'introduzione formale, Hanne Riis Nielson e Flemming Nielson, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html

— Chan Li
fonte