Semantica operazionale e denotazione dei linguaggi di programmazione

Partendo dalle nozioni base e dagli usi di tecniche semantiche in informatica, l'opera esamina i linguaggi di programmazione di complessità crescente, in modo da arrivare alla comprensione degli elementi essenziali dei più moderni linguaggi di programmazione.