Классика программирования

Андрей Петрович Ершов (1931-1988)
А.П.Ершов [ВЦ СО АН СССР]

• Р.Богатырев. Портреты великих: Ершов (2005)
• Обращение матриц. МГУ. Дипломная работа (1954)
• Об одном методе обращения матриц (1955)
• Некоторые вопросы теории алгорифмов, связанные с программированием.
  Автореферат диссертации на соискание ученой степени к.ф.-м.н. (1958)
• Некоторые вопросы теории программирования и конструирования трансляторов.
  Автореферат диссертации на соискание ученой степени д.ф.-м.н. (1966)
• Предварительный отчет о научной командировке в США А.П.Ершова (1971)
• Становление программирования в СССР. Начальное развитие (1976)
• Становление программирования в СССР. Переход ко второму поколению языков и машин (1976)
• О сущности трансляции (1977)
• Программирование в СССР: достижения и задачи (1977)
• Эдсгер Вейбе Дейкстра. Биобиблиографический материал (1980)
• Программирование — вторая грамотность (1981)
• Вычислимость в произвольных областях и базисах (1981)
• Материал к истории СО АН СССР (информатика) (1981)
• Систематическое построение программы решения частной задачи из некоторого класса методом смешанных вычислений на примере синтаксических анализаторов (1982)
• Два облика программирования (1982)
• Предварительные соображения о лексиконе программирования (1983)
• Язык или лексикон (1983)
• ЭВМ в школе: опыт формулирования национальной программы (1983)
• А.П.Ершов — Н.Вирт. Личная переписка (1965-1987)

Никлаус Вирт (р.1934)
Niklaus K. Wirth [ETH Zurich, Switzerland]

• Р.Богатырев. Никлаус Вирт — патриарх надежного программирования (2004)
• G.Pomberger, H.Moessenboeck, P.Rechenberg. Niklaus Wirth — a Pioneer of Computer Science (2000)
• M.Franz. Oberon — The Overlooked Jewel (2000)
• H.Moessenboeck. Compiler Construction. The Art of Niklaus Wirth (2000)
• Automatic Grading Programs (1965)
• Euler: A Generalization of Algol, and Its Formal Definition (1965)
• A Programming Language for the 360 Computers (1965)
• A Programming Language for the 360 Computers (1966)
• On Certain Basic Concepts of Programming Languages (1967)
• О некоторых основных понятиях языков программирования. Пер. А.П.Ершова (1967)
• Software Engineering Techniques (1969)
• Program Development by Stepwise Refinement (1971)
• Algol W. Reference Manual (1972)
• On "PASCAL" Code Generation, and the CDC 6000 Computer (1972)
• The Programming Language Pascal. Revised Report (1972)
• Pascal-S: A Subset and its Implementation (1975)
• Modula-2 (1980)
• The Personal Computer Lilith (1981)
• От разработки языка программирования к созданию компьютера. Лекция при вручении премии Тьюринга (1984)
• The Programming Language Modula-2. Fourth Edition (1988)
• Type Extensions (1988)
• From Modula to Oberon (1988)
• От Modula к Oberon (1988)
• Проектирование системы с нуля (1989)
• Modula-2 и объектно-ориентированное программирование (1990)
• The Programming Language Oberon (1990)
• M.Reiser, N.Wirth. Programming in Oberon. Steps Beyond Pascal and Modula (1992)
• Х.Мессенбок. Н.Вирт. Различия между языками Oberon и Oberon-2 (1993)
• A Brief History of Modula and Lilith (1994)
• Краткая история Modula-2 и Lilith (1994)
• Effective Technology Transfer (1995)
• H.Moessenboeck, N.Wirth. The Programming Language Oberon-2 (1995)
• Х.Мессенбок. Н.Вирт. Язык программирования Оберон-2 (1993)
• Долой "жирные программы" (1996)
• Никлаус Вирт о культуре разработки ПО (1998)
• Hardware Compilation: Translating Programs into Circuits (1998)
• A Computer System for Model Helicopter Flight Control. Technical Memo #1: Hardware Core (1998)
• A Computer System for Model Helicopter Flight Control. Technical Memo #2: The Programming Language Oberon SA (1998)
• A Computer System for Model Helicopter Flight Control. Technical Memo #6: The Oberon Compiler for the Strong-ARM Processor (1999)
• An Essay of Programming (1999)
• Преподавание информатики: потерянная дорога (2002)
• N.Wirth. Algorithms and Data Structures. Oberon Version (2004)
• N.Wirth. Programming in Oberon (2004)
• N.Wirth, J.Gutknecht. Project Oberon — The Design of an Operating System and Compiler (2005)

Эдсгер Дейкстра (1930-2002)
Edsger Dijkstra [University of Texas, Austin, USA]

• Krzysztof Apt. Edsger Wybe Dijkstra (1930-2002): A Portrait of a Genius (2002)
• A Method to Investigate Primality (1957)
• Communication with an Automatic Computer (1959)
• On the Design of Machine Independent Programming Languages (1961)
• An ALGOL 60 Translator for the X1 (1961)
• An Attempt to Unify the Constituent Concepts of Serial Program Execution (1962)
• Some Meditations on Advanced Programming (1962)
• Programming Considered as a Human Activity (1964)
• An Experiment with the "record class" as suggested by C.A.R. Hoare (1965)
• Cooperating Sequential Processes (1968)
• Взаимодействие последовательных процессов (1968)
• The Structure of "THE"-Multiprogramming System (1968)
• Структура мультипрограммной системы THE (1968)
• A Case Against the GO TO Statement (1968)
• О вреде оператора GO TO (1968)
• Stepwise Program Construction (1968)
• On Useful Structuring (1968)
• Structured Programming (1969)
• The Programming Task Considered as an Intellectual Challenge (1969)
• Notes on Structured Programming (1970)
• A Short Introduction to the Art of Programming (1971)
• The 1972 ACM Turing Award Lecture. The Humble Programming (1972)
• Programming as a Discipline of Mathematical Nature (1974)
• Программирование как дисциплина математической природы (1974)
• On the Teaching of Programming, i.e. on the Teaching of Thinking (1975)
• Craftsman or Scientist? (1975)
• Two Views of Programming (1975)
• Заметки по структурному программированию (1975)
• Programming: From Craft to Scientific Discipline (1976)
• A Programmer's Early Memories (1976)
• Дисциплина программирования. Отдельные главы из книги (1976)
• Position Paper on Software Reliability (1977)
• On-the-fly Garbage Collection: An Exercise in Cooperation (1977)
• Position Paper on the Impact of Microprocessors (1977)
• On the Interplay between Mathematics and Programming (1977)
• Why Is Software So Expensive? An Explanation to the Hardware Designer (1977)
• The Nature of Computer Science (1978)
• The Pragmatic Engineer versus the Scientific Designer (1978)
• A Review of the 1977 Turing Award Lecture by John Backus (1978)
• My Hopes of Computing Science (1979)
• American Programming's Plight (1980)
• On Iteration and Recursion (1982)
• Why Numbering Should Start at Zero (1982)
• Три золотых правила для достижения успеха в научном исследовании (1982)
• The Fruits of Misunderstanding (1983)
• The Threats to Computing Science (1984)
• On a Cultural Gap (1985)
• Can Computing Scence Save the Computer Industry? (1985)
• On Notation (1986)
• On Naming (1986)
• The Nature of My Research and Why I Do It (1986)
• A New Science, from Birth to Maturity (1988)
• How Computing Science Created a New Mathematical Style (1990)
• From My Life (1993)
• How "They" Try to Corrupt "Us" (1999)
• Computing Science: Achievements and Challenges (1999)
• The End of Computing Science? (2000)

Тони Хоар (р.1934)
Tony Hoare [Oxford University Computing Laboratory, United Kingdom]

• Monitors: An Operating System Structuring Concept (1974)
• Мониторы — структурная концепция операционных систем (1974)
• Software Design: A Parable (1975)
• The 1980 ACM Turing Award Lecture. The Emperor's Old Clothes (1980)
• Старые платья императора. Лекция при вручении премии Тьюринга (1980)
• Communicating Sequential Processes (1985, 2004)
• Джонатан Боуэн. Краткая история алгебры и вычислений (1994)
• A Theory of Programming: Denotational, Algebraic and Operational Semantics (1999)
• Software: Barrier or Frontier? (1999)
• Unification of Theories: a Challenge for Computing Science (1999)
• Criteria for a Grand Challenge (2002)
• The Verified Software Repository: a Step towards the Verifying Compiler (2005)
• Verified Software: Theories, Tools, Experiments. Vision of a Grand Challenge Project (2005)

Дональд Кнут (р.1938)
Donald Knuth [Stanford University, USA]

• George Forsythe and the Development of the Computer Science (1972)
• The 1974 ACM Turing Award Lecture. Computer Programming as an Art (1974)
• Structured Programming with go to Statements (1974)
• Literate Programming (1983)

Джон Бэкус (р.1924)
John Backus [IBM Research Laboratory, San Jose, USA]

• Programming in America in the 1950s — Some Personal Impressions (1976)
• The 1977 ACM Turing Award Lecture. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs (1977)
• Open Letter to Congress. Against Strategic Defense Initiative (1986)

Питер Наур (р.1928)
Peter Naur [Copenhagen University, Denmark]

• Интуиция в разработке программного обеспечения (1985)
• Brian Randell. Memories of the NATO Software Engineering Conferences (1996)
• An Anatomy of Human Mental Life (2004)

Джон Маккарти (р.1927)
John McCarthy [Stanford University, USA]

• Programs with Common Sense (1959)
• Recursive Functions of Symbolic Expressions and Their Computation by Machine (1960)
• A Basis for Mathematical Theory of Computation (1963)
• Towards a Mathematical Science of Computation (1996)
• Elephant 2000: A Programming Language Based on Speech Acts (1998)
• LISP: Notes on Its Past and Future — 1980 (1999)
• What Is Artificial Intelligence? (2004)

Пер Бринч Хансен (р.1938)
Per Brinch Hansen [Syracuse University, USA]

• J. Lee. Per Brinch Hansen. Biography (2003)
• The Nucleus of a Multiprogramming System (1970)
• Structured Multiprogramming (1972)
• Shared Classes (1973)
• The Programming Language Concurrent Pascal (1975)
• The Solo Operating System: A Concurrent Pascal Program (1976)
• The Solo Operating System: Processes, Monitors and Classes (1976)
• The Programmer as a Young Dog (1976)
• The Design of Edison (1981)
• Monitors and Concurrent Pascal: A Personal History (1993)
• Parallel Cellular Automata: A Model Program for Computational Science (1993)
• Efficient Parallel Recursion (1995)
• Java's Insecure Parallelism (1999)
• The Evolution of Operating Systems (2001)
• The Invention of Concurrent Programming (2002)
• A Programmer's Story (2004)