La descrizione operazionale dei linguaggi di programmazione. Un'introduzione

Consulta il libro - La descrizione operazionale dei linguaggi di programmazione. Un'introduzione

Titolo	La descrizione operazionale dei linguaggi di programmazione. Un'introduzione
Autore	Cosimo Laneve
argomento	Scienza e Tecnica Informatica Programmazione e sviluppo del software
Collana	Informatica EDP
Editore	Franco Angeli
Formato	Libro
Pagine	160
Pubblicazione	1998
ISBN	9788846407986
	Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura

aggiungi ai desideri

23,00 €

aggiungi ai desideri

Disponibile normalmente in 3/4 giorni

Descrizione

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.