Principi di Linguaggi di Programmazione
LAUREA Magistrale in INFORMATICA
Università di Pisa
Anno Accademico 2011-2012
docente: prof. Marco Bellia
Tecniche di Compilazione |
|
Paradigmi di Programmazione |
|
Notizie Essenziali Compilatori
Modulo I: Riferimenti bibliografici
- A.V.
Aho, R. Sethi and J.D. Ullman, Compilers: Principles, Techniques and
Tools, Addison-Wesley, 1988 [AHO]
Testi di consultazione
- Aho
A.V., Lam M.S., Sethi R. , Ullman J.D., Compilers. Principles,
Techniques and Tools - Second Edition, Pearson Addison Wesley,
2007 [ALSU]
- D.
Grune, H.E. Bal, C.J.H. Jacobs, and K.G. Langendoen, Modern Compiler Design,
John Wiley & Sons, 2001 [GBJL]
- R.
Wilhelm, and D. Maurer, Compiler Design, Addison-Wesley, 1996 [WMA]
- S.S.
Muchnick, Advanced Compiler Design and Implementation, Morgan Kaufmann,
1997 [MUC]
- Sippu,
S. and E. Soisalon-Sininen, Parsing Theory Volume II: LR(K) and LL(K)
parsing, Springer, 1990 [SSO]
Notizie Essenziali Paradigmi
Modulo II: Riferimenti bibliografici
- Gabrielli M., S. Martini, Linguaggi di Programmazione: Principi e Paradigmi, McGraw-Hill, Milano, 2006 [GM]
- Bellia M., PLP - Modulo II: Semantica Denotazionale e Concetti ..., pdf [BM]
Testi di consultazione
- Gabrielli M., S. Martini, Linguaggi di Programmazione: Principi e Paradigmi (seconda edizione), McGraw-Hill, Milano, 2011 [GM]
-
Pratt T.W., M.V. Zelkowitz, Programming Languages: Design and Implementation,
Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1996 [PZ]
-
Sethi R., Programming Languages: Concepts and Constructs (snd edition), Addison-Wesley, Reading, Massachusetts, 1996 [SR]
- Scott, M.L., Programming Language Pragmatics, Elsevier-Morgan Faufmann Pub. Press, 2009 [SC]
- Turbak, F., Gifford, D., M.A. Sheldon, Design Concepts in Programming Languages, MIT Press, 2008 [TG]
- Mitchell, J.C., Concepts in Programming Languages, Cambridge University Press, 2003 [MJ]