Конструкции языков программирования. Приемы описания

Купить бумажную книгу и читать

Название: Конструкции языков программирования. Приемы описания

Автор: Вольфенгаген В.Э.

Издательство: АО Центр ЮрИнфоР

Год: 2001

Страниц: 268

ISBN: 5-89158-079-9

Формат: PDF

Размер: 10.4 Мб

Язык: русский

В работе изложены основы, касающиеся разработки, реализации и применения конструкций как императивных, так и функциональных языков программирования. Значительное внимание уделяется применению денотационной семантики, позволяющей в полной мере извлечь преимущества объектно-ориентированного подхода, что, в конечном счете, позволяет построить результирующую вычислительную модель чисто функционального типа. Изложение материала сопровождается детально разобранными примерами, которые снабжены комментариями, помогающими уяснить реализацию конструкций различных языков.

Книгу можно использовать в качестве учебника или справочного пособия. Она будет полезна как студентам и аспирантам, так и профессионалам в области компьютерных наук, информационных технологий и программирования. Данная публикация входит в состав "Библиотеки учебных курсов", формирование которой ведется в рамках программы академического сотрудничества MSDN Academic Alliance (MSDN AA)

Оглавление

Предисловие

Введение

Раздел 1. Модель вычислений

Раздел 2. Потоковые диаграммы

Раздел 3. Пример непосредственной семантики для модели вычислений

Раздел 4. Исходные понятия и обозначения: теория вычислений

Раздел 5. Пример денотационного описания для модели вычислений

Раздел 6. Стандартная семантика

Раздел 7. Пример денотационной семантики

Раздел 8. Выходы и передачи управления

Раздел 9. Разновидности процедур и функций

Раздел 10. Структуры данных

Раздел 11. Конструкции итераций

Раздел 12. Типы

Раздел 13. Аспекты функционального программирования

Литература

Глоссарий