Libri UniversitariApri il catalogo

Flemming Nielson – Principles of program analysis

Libro adottato a Pisa, a.a. 2026/2027 · 1 canale

«Flemming Nielson – Principles of program analysis» è adottato per Compilation Techniques dal prof. Roberta Gori (Informatica – sede di Pisa – Pisa).

Flemming Nielson – Principles of program analysisCerca su Amazon ›

Come lo indica il docente: Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis. Springer 1999

Titolo
Principles of program analysis
Autori
Flemming Nielson
Editore
Springer, 2005
ISBN
9783540654100

Chi lo adotta

Programma e testi di ogni canale

Compilation Techniques – Prof. Roberta Gori Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · esame facoltativo · Foundations of Software · 9 CFU

Pisa · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Pisa · 1º anno · 2º semestre ›

Keith – Linda TorczonCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Alfred – ‎ Ravi SethiCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Terence Parr – Language Implementation PatternsCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Peter Sestoft: Programming Language Concepts. Springer, 2012Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Andrew – Jens PalsbergCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Flemming Nielson – Principles of program analysisquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Linguaggi regolari e liberi - Analisi lessicale e sintattica e genrazione di scanner e parser - Aspetti contestuali e loro analisi - Rappresentazioni intermedie - Tabelle dei simboli: rappresentazione e gestione - Funzioni e procedure - Analisi statiche (data flow, control flow, abstract interpretation) - Ottimizzazioni - Generazione di codice

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a