UniBo's logo
home
contact
teaching
publications
talks
Università di Bologna
Dipartimento di Scienze dell'Informazione
 
Simone Martini
Newsgroup: unibo.cs.informatica.paradigmiprogrammazione

The Java Language Specification Definizione ufficiale del linguaggio. Può essere scaricata una copia per consultazione off-line.

Letture
  • John McCarthy. Recursive functions of symbolic expressions and their computation by machine. Part I. CACM 3(4), 1960; 184-195. HTML version. pdf pdf 260 KB
  • Edsger W. Dijkstra. Go to statement considered harmful. CACM 11(3) 1968; 147-148. HTML version.
  • Corrado Böhm e Giuseppe Jacopini. Flow diagrams, Turing machines and languages with only two formation rules. CACM 9(5) 1966; 366 - 371. pdf pdf 631 KB
  • John Backus. Can programming be liberated from the von Neumann style? CACM 21(8), 1978; 613-641. 1977 Turing Award Lecture. pdf pdf 3.8 MB
  • Kenneth E. Iverson. Notation as a tool of thought. CACM 23(8), 1980; 444--465. 1979 ACM Turing Award Lecture. pdf pdf 3.81 MB
  • Brian W. Kernigham. Why Pascal is not my favorite programming language. AT&T Technical Report no. 100. 1981. pdf pdf 118 KB
  • Gilad Bracha. Tutorial sui generici in Java 5.0

Altre letture: un elenco di lavori scientifici "importanti" nel settore dei linguaggi di programmazione:
qui.

Cataloghi di linguaggi di programmazione Libro di riferimento per C++:

Copertina
B. Stroustrup, C++ Linguaggio, libreria standard, principi di programmazione, terza edizione. Addison-Wesley, 2000. ISBN 8871920783.
Un ottimo libro per migliorare lo stile di programmazione:

Copertina
B. Kernigan - R. Pike, Programmazione nella pratica. Addison-Wesley, 1999. ISBN 8871920724.
Conversazioni con i creatori di alcuni linguaggi:

Copertina
Federico Biancuzzi, Chromatic, Masterminds of Programming. O'Reilly Media, 2009.