Semantica dei linguaggi di programmazione

[TTTuriddo]

Ciao a tutti sto avendo grandi problemi per studiare la seguente semantica dei linguaggi di programmazione (in particolare quella del linguaggio While )
http://www.dmi.unict.it/~barba/FONDAMEN ... -while.pdf
Qualcuno può aiutarmi spiegandomi come devo iniziare e dove devo arrivare? Inoltre qualcuno può suggerirmi degli appunti più comprensibili? Grazie in anticipo...

[Rggb1]

Domanda un po' generica... sii più specifico: cosa è che non ti torna?

Per gli appunti, hai dato un'occhiata alla apposita sezione?

[TTTuriddo]

Certo ho già controllato ma non ho trovato quello che mi serve... Comunque come puoi vedere dal pdf che ho postato l'argomento inizia direttamente con l'enunciare il while e poi subito dopo mette delle regole ma non c'è una spiegazione su come utilizzarle ... Inoltre non capisco bene gli esempi...

[TTTuriddo]

Nessuno mi può aiutare?

[hamming_burst]

Ciao,
ho dato un occhio veloce alle regole. Non mi sembrano così complicate... rispetto ad una classica semantica SOS WHILE (con memoria) utilizza costrutti che chiama "vettori" (anche se non è così strano).

conosci la notazione e le definizioni di una semantica sempre SOS tipo quella di Plotkin? stati e memoria per IMP?

Sugli appunti "più comprensibili" dipende da cosa cerchi e cosa stai studiando...