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

Description

В работе изложены основы, касающиеся разработки, реализации и применения конструкций как императивных, так и функциональных языков программирования. Значительное внимание уделяется применению денотационной семантики, позволяющей в полной мере извлечь преимущества объективно-ориентированного подхода, что в конечной счете, позволяет построить результирующую вычислительную модель чисто функционального типа.\nИзложение материала сопровождается детально разобранными примерами, которые снабжены комментариями, помогающими уяснить реализацию конструкций различных языков.\nКнигу можно использовать в качестве учебника или справочного пособия. Она будет полезна как студентам и аспирантам, так и профессионалам в области компьютерных наук, информационных технологий и программирования. Титул......Page 2 Предисловие......Page 3 Введение......Page 13 Раздел 1. Модель вычислений......Page 17 Раздел 2. Потоковые диаграммы......Page 29 Раздел 3. Пример непосредственной семантики для модели вычислений......Page 63 Раздел 4. Исходные понятия и обозначения: теория вычислений......Page 75 Раздел 5. Пример денотационного описания для модели вычислений......Page 109 Раздел 6. Стандартная семантика......Page 113 Раздел 7. Пример денотационной семантики......Page 135 Раздел 8. Выходы и передачи управления......Page 145 Раздел 9. Разновидности процедур и функций......Page 157 Раздел 10. Структуры данных......Page 177 Раздел 11. Конструкции итераций......Page 189 Раздел 12. Типы......Page 195 Раздел 13. Аспекты функционального программирования......Page 201 Литература......Page 257 Глоссарий......Page 263