Linguagens e Ambientes de Programação (2020/2021)

Artigos Clássicos sobre Linguagens de Programação

• J. McCarthy, Recursive functions of symbolic expressions and their computation by machine [220Kb], Comm. ACM 3, 4 (1960) 184-195

• P. J. Landin, The next 700 programming languages [1.2Mb], Comm ACM 9, 3, (1966) 157-166

• E.W. Dijkstra, Go To Statement Considered Harmful [112Kb], Comm. of the ACM 11, 3 (1968) 147-148

• C.A.R. Hoare, An axiomatic basis for computer programming [2.3Mb], Comm. ACM 12, 10 (1969) 576-580

• N. Wirth, Program development by stepwise refinement [792Kb], Comm. of the ACM 14, 4 (1971) 221-227

• D. Parnas, On the criteria to be used in decomposing systems into modules [580Kb], Comm. of the ACM 15, 12 (1972) 1053-1058.

• John C. Reynolds, Definitional interpreters for higher-order programming languages [160Kb], ACM Annual Conference vol. 2 (1972) 717-740

• J. Backus, Can programming be liberated from the von Neuman style? [2.9Mb], Comm. ACM 21, 8 (1978) 613-641

• Robert W. Floyd, The Paradigms of Programming [664Kb], Comm. ACM 22, 8 (1979) 455-460

• C.A.R. Hoare, Communicating Sequential Processes [1.3Mb], Prentice Hall International (1985)

• Dennis Ritchie, The Development of the C Language [60Kb], ACM SIGPLAN Notices 28, 3 (1993) 201 - 208

• Paul Hudak, Conception, evolution, and application of functional programming languages [5Mb], ACM Computing Surveys 21, 3 (1989) 359-411

• A. Koenig, An Anecdote About ML Type Inference [16Kb], USENIX Symposium on Very High Level Languages (1994)