La semantica formale dei linguaggi di programmazione e` di solito omessa nei manuali di riferimento per privilegiare le piu` semplici spiegazioni intuitive, sebbene sia indispensabile per chiunque voglia verificare proprieta` 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 e` 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.
Descrizione Operazionale Dei Linguaggi Di Programmazione. Un (la)
| Titolo | Descrizione Operazionale Dei Linguaggi Di Programmazione. Un (la) |
| Autore | Laneve Cosimo |
| Collana | Informatica |
| Editore | Angeli |
| Formato |
Libro |
| Pubblicazione | 1999 |
| ISBN | 9788846407986 |
|
Acquistabile con Carta del docente o Carta Cultura Giovani |
