Capire i linguaggi di programmazione

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Understanding Programming Languages

Contenuto del libro:

Questo libro tratta della descrizione del significato dei linguaggi di programmazione. L'autore insegna l'abilità di scrivere descrizioni semantiche come metodo efficiente per comprendere le caratteristiche di un linguaggio. Sebbene un compilatore o un interprete offrano una forma di descrizione formale di un linguaggio, non è qualcosa che possa essere usato come base per ragionare su quel linguaggio né può servire come definizione di un linguaggio di programmazione stesso, poiché questo deve consentire una gamma di implementazioni. Scrivendo una semantica formale di un linguaggio, un progettista può ottenere una descrizione molto più breve e individuare, analizzare e registrare le scelte progettuali.

All'inizio del libro l'autore introduce una semplice notazione, un meta-linguaggio, utilizzata per registrare le descrizioni della semantica dei linguaggi. Con un approccio pratico, l'autore prende in considerazione decine di problemi che si presentano negli attuali linguaggi di programmazione e le tecniche chiave che devono essere padroneggiate per scrivere le necessarie descrizioni semantiche formali. Il libro si conclude con una discussione delle otto sfide principali: delimitare un linguaggio (rappresentazione concreta), delimitare il contenuto astratto di un linguaggio, semantica di registrazione (linguaggi deterministici), semantica operativa (non determinismo), dipendenza dal contesto, modellazione della condivisione, modellazione della concorrenza e modellazione delle uscite.

Il contenuto è testato in classe e adatto ai corsi di laurea e post-laurea dell'ultimo anno. È anche adatto a qualsiasi progettista che voglia comprendere i linguaggi a un livello profondo. La maggior parte dei capitoli offre progetti, alcuni dei quali sono esercizi piuttosto avanzati che richiedono descrizioni complete dei linguaggi, e il libro è supportato da puntatori a ulteriori letture e risorse. Come prerequisito, il lettore dovrebbe conoscere almeno un linguaggio imperativo di alto livello e avere una certa conoscenza della notazione matematica discreta per la logica e la teoria degli insiemi.