Semantik

Questo libro di testo è rivolto a studenti e professionisti ambiziosi interessati alla teoria della programmazione e alla semantica dei linguaggi di programmazione, desiderosi di conoscere anche concetti più recenti. Il flusso dei dati di un linguaggio di programmazione imperativo e non deterministico e il flusso di controllo di un linguaggio privo di variabili vengono inizialmente descritti separatamente e poi uniti in una semantica unificata per programmi paralleli. Un'attenzione particolare è dedicata allo studio delle relazioni matematiche tra i diversi approcci semantici. Il libro è completamente fornito di dimostrazioni facilmente comprensibili e di esempi di rilevanza pratica, e include, oltre a casi studio più ampi, esercizi con soluzioni esemplari e una vasta selezione di letteratura.