La semantica formale dei linguaggi di programmazione è di solito omessa nei manuali di riferimento per privilegiare le più semplici spiegazioni intuitive, sebbene sia indispensabile per chiunque voglia verificare proprietà di programmi o comprendere il significato in modo rigoroso. Questo libro intende offrire un'introduzione completa alla descrizione della semantica operazionale dei linguaggi di programmazione secondo la quale un programma è inteso come la modifica che la sua esecuzione apporta ai dati da esso utilizzati. Il testo copre gli aspetti principali di un linguaggio di programmazione ad alto livello come Pascal o C, spiegando chiaramente concetti quali variabile, dichiarazione, comando, procedura e ricorsione.
La descrizione operazionale dei linguaggi di programmazione. Un'introduzione
| Titolo | La descrizione operazionale dei linguaggi di programmazione. Un'introduzione |
| Autore | Cosimo Laneve |
| Collana | Informatica EDP, 69 |
| Editore | Franco Angeli |
| Formato |
Libro |
| Pagine | 160 |
| Pubblicazione | 12/1999 |
| Numero edizione | 2 |
| ISBN | 9788846407986 |
Libri dello stesso autore
Raccontare dalla cattedra e dal banco. Un contributo alla formazione e all'analisi dell'insegnamento
Cosimo Laneve, Chiara Gemma
Mimesis