 ProgrammazioneTeoria dei linguaggi |
|
|
|
|
| Presentazione |
Le nozioni matematiche, le tecniche e i concetti sui quali si fonda la semantica finale Le basi per capire il comportamento dei programmi di informatici Gli approcci operazionale, denotazionale e assiomatico per linguaggi imperativi e funzionali Le tecniche della semantica operazionale strutturata Una dimostrazione, da una prospettiva informatica, del teorema di Godel e delle sue implicazioni La teoria dei domini e le sue applicazioni nell'ambito dei linguaggi funzionali Ricorsione, call-by-name e call-by-value, valutazione eager e lazy, linguaggi di ordine superiore, tipi ricorsivi e lambda calcolo. Sebbene la presentazione sia elementare, in questo libro molti temi sono trattati da recentissimi argomenti di ricerca, inclusa l'attuale area della concorrenza, affrontata in un capitolo dedicato ai linguaggi di programmazione parallela, con una particolare attenzione per la specifica e la verifica di programmi paralleli e non deterministici. Il volume contiene altresì molti esercizi, da quelli più semplici fino a quelli che richiedono una certa attivita' di progettazione e programmazione. Il testo di Winskel è una felice sintesi di rigore e completezza da un lato e di chiarezza e semplicita' degli strumenti matematici dall'altro. Gia' oggi e' il testo di semantica consigliato in tutte le università italiane. |