Ingegneria semantica con PLT Redex

Recensioni dei lettori

Il libro fornisce un'introduzione chiara e interessante alla semantica, particolarmente aiutata dallo strumento PLT Redex. Mentre la prima parte viene elogiata per la panoramica completa e il contesto storico, le sezioni successive su PLT Redex e i casi di studio hanno ricevuto recensioni contrastanti, evidenziando una certa confusione e incoerenza.

⬤ Presentazione chiara e interessante della semantica
⬤ uso efficace di PLT Redex per la sperimentazione
⬤ panoramica accessibile della semantica operativa
⬤ forte introduzione alla semantica a piccoli passi e ai contesti di valutazione.

⬤ I primi capitoli introducono una terminologia confusa
⬤ mancanza di spiegazioni sulle caratteristiche fondamentali di Redex
⬤ la seconda parte sembra gonfia e poco integrata con le sezioni precedenti
⬤ i casi di studio sono presentati in modo incoerente e mancano di una chiara organizzazione.

(basato su 4 recensioni dei lettori)

Titolo originale:

Semantics Engineering with PLT Redex

Contenuto del libro:

La prima presentazione completa della semantica riduttiva in un unico volume e il primo set di strumenti per queste forme di semantica. Questo testo è la prima presentazione completa della semantica riduttiva in un unico volume e introduce anche il primo set di strumenti affidabili e facili da usare per queste forme di semantica.

Gli ingegneri del software sanno da tempo che il supporto automatico degli strumenti è fondamentale per la prototipazione e la modellazione rapide, e questo libro si rivolge agli ingegneri semantici che lavorano (studenti laureati o progettisti di linguaggi professionali). Il libro è corredato da una suite di strumenti di prototipazione per sviluppare, esplorare, testare, eseguire il debug e pubblicare modelli semantici di linguaggi di programmazione. Con PLT Redex, i semantici possono formulare modelli come grammatiche e modelli di riduzione sui loro computer con la stessa facilità di carta e matita.

Il testo presenta innanzitutto un quadro di riferimento per la formulazione di modelli linguistici, concentrandosi su calcoli equazionali e macchine astratte, quindi introduce PLT Redex, una suite di strumenti software per esprimere questi modelli come modelli PLT Redex. Infine, gli esperti descrivono una serie di modelli formulati in Redex.

PLT Redex viene fornito con l'implementazione PLT Scheme, disponibile gratuitamente all'indirizzo http: //www.plt-scheme.org/. I lettori possono scaricare il software e sperimentare Redex durante la lettura del libro.