|
|
La semantica formale dei linguaggi di programmazione
|
| Editore | Utet |
| Autore | Winskel |
| Titolo originale | The formal semantics of programming languages - An introduction |
| Editore originale | MIT Press |
| Pagine | 394 |
| Volumi | 1 |
| Livello | Avanzato |
| Lingua | italiano |
| Data pubblicazione | 11 - 1999 |
| ISBN | 8877506482 |
|
|
| Prezzo di copertina |
| Euro 39,00 |
|
Il testo di semantica piu' diffuso e riconosciuto in tutto il mondo per le sue qualita' didattiche
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.
La semantica formale dei linguaggi di programmazione fornisce le tecniche matematiche di base necessarie a tutti
coloro che iniziano a studiare la semantica e la logica dei linguaggi di programmazione. Queste tecniche consentono
di inventare, formalizzare e giustificare le regole con le quali ragionare su un gran numero di linguaggi di
programmazione.
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.
|
|
|
|
