|
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 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 631 KB
- John Backus. Can programming be liberated from the von Neumann style? CACM 21(8), 1978; 613-641. 1977 Turing Award Lecture.
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 3.81 MB
-
Brian W. Kernigham. Why Pascal is not my favorite programming language. AT&T Technical Report no. 100. 1981.
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++:
|
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:
|
B. Kernigan - R. Pike,
Programmazione nella pratica.
Addison-Wesley, 1999. ISBN 8871920724. |
|
Conversazioni con i creatori di alcuni linguaggi:
|
Federico Biancuzzi, Chromatic,
Masterminds of Programming.
O'Reilly Media, 2009. |
|
|