Структурное программирование-У Дал.Москва 1975 стр.245 : "'.,-,-
Монография известных специалистов по программированию включает в себя три раздела. В первом обобщен опыт программирования на примерах решения ряда миниатюрных задач по программированию. Во втором последовательно рассматриваются данные различной степени сложности. Эта тематика весьма актуальна, поскольку в практике программирования приходится иметь дело со все более сложными структурами данных. Третий раздел посвящен систематическому изложению иерархических принципов в программировании и имеет непосредственное отношение к языкам моделирования.
Книга наглядно отражает существо рассматриваемых вопросов и предлагаемых идей 'и методов. Она представляет большой интерес для программистов всех специализаций.
ПРЕДИСЛОВИЕ К РУССКОМУ ПЕРЕВОДУ
Одним из основных резервов обеспечения обозримости и правильности больших программ для современных вычислительных машин является удачная организация структуры программы и обрабатываемых ею данных. В этом плане несомненный интерес представляет предлагаемая вниманию читателей коллективная монография, состоящая из трех частей, каждая из которых имеет самостоятельное значение. Авторы монографии крупные ученые, имена которых хорошо известны специалистам по системному программированию. Пристального внимания всех читателей, занимающихся или интересующихся программированием, заслуживает открывающая книгу работа Э. Дейкстры, в которой выявляются и подробно исследуются важнейшие принципы разработки больших программ. Во второй части проводится фундаментальная классификация различных структур данных от элементарных до имеющих весьма сложное рекурсивное строение. Эта работа имеет большое методологическое значение и может также способствовать повышению эффективности программирования. В третьей части книги вводятся новые структурные элементы, представляющие собой интересное обобщение понятий процедур и действий над ними, которые с успехом используются в языках моделирования.
Работу Э. Дейкстры "Заметки по структурному программированию" перевел В. В. Мартынюк. Работу К- Хоора "О структурной организации данных" перевел Л. В. Ухов. Завершающая книгу работа У.-И. Дала и К- Хоора переведена С. Д. Зеленецким.
Э. 3. Любимский В. В. Мартынюк
ОГЛАВЛЕНИЕ
Предисловие к русскому переводу.................. 5
Предисловие............................. 6
I. Заметки по структурному программированию. Э. Дейкстра..... 7
1. К моему читателю..................... 7
2. О количественной ограниченности наших возможностей ... 7
3. О надежности аппаратуры.................. 10
4. О наших интеллектуальных средствах............ '13
5. Пример доказательства правильности программы....... 19
6. О противоречии между правильностью доказательств и правильностью реализации................... 22
7. О понимании программ................... 24
8. О сравнении программ..................'. 32
9. Первый пример поэтапного составления программы..... 36
10. О семействах программ................... 50
11. О расплате машинной памятью за ускорение вычислений . . 52
12. О модели программы..................... 55
13. Второй пример поэтапного составления программы..... 62
14. О том, чего мы достигли................... 72
15. Организация групп и последовательностей.......... 77
16. Более детальные проектные рассмотрения.......... 81
17. Проблема восьми ферзей.................. 86
II. О структурной организации данных. К: Хоор.......... 98
1. Введение.......................... 98
2. Понятие типа........................ 107
3. Неструктурные типы данных................ 113
4. Прямое произведение.................... 120
5. Размеченное объединение.................. 126
6. Массив......................... . . 132
7. Р-множество........................ 14'
8. Последовательность..................... 149
9. Рекурсивные структуры данных............... '63
10. Разреженные структуры данных.............. 16"
11. Пример. Расписание экзаменов............... • 178
12. Аксиоматизация ,......,............... 189
Оглавление _______._ 24?
111. Иерархические структуры программ. У.-И. Дал, К- Хоор . . , . 198 198-
Цена: 150руб.
