Современные методы и понятия программирования

Программа

Лекции - экзамен
Семинарские занятия
Практика на ЭВМ – зачёт (необходимое условие для

Рекомендации

Разговаривать только с лектором
исправлять замеченные ошибки лектора
задавать вопросы по ходу лекции
Входить

Литература

Болски М.И. Язык программирования Си. М.: «Радио и связь». 1988.
Керниган Б.,

Что такое программирование?

Заставить кого-то сделать что-то, что нам хочется
Устав ВС
Кулинарная книга
ПДД
Гипноз,

Виды программирования (1)

Прикладное программирование – создание программ для конечных пользователей
Надёжность,

Виды программирования (2)

Системное программирование – создание программ для создания программ
Операционные системы
Система

Виды программирования (3)

Технология программирования – средства организации процесса програмирования
Спецификация
Проектирование
Отладка, тестирование
Докуменирование
Сопровождение, версионность

Виды программирования (4)

Теоретическое программирование –программа, как предмет исследования.
Дискретная математика, кибернетика (структуры

Логическая модель ЭВМ

Вычислитель

Исполнитель

Условие

Управление

Память

Данные

Команды

Результаты

Виды команд:
Арифметические, битовые
Присваивания, пересылки
Ввод/вывод
Управляющие

Процессор

Дискретная память

Бит - элементарная единица хранения информации: 2 значения – 0

Операционная система

Внутренние функции
Управление ресурсами (память, время, бумага)
Реакция на сигналы, аварийные ситуации
Статистика
Внешние

Языки программирования: машинные языки

Программа
Хранится в (кодовом сегменте) памяти
Представляется последовательностью 0 и

Языки программирования: ассемблер

.MODEL SMALL
.DATA
b DW 5
c DW 3
a DW ?

Языки программирования: ассемблер

Достоинства
Понимаемость
Простота модификации кода (например, вставка команд)
Простота и прозрачность преобразования (трансляции)

Языки программирования: макроассемблер

Определение:
MI MACRO C1,C2,CP,MP
MOV ax,C1 I
MUL C2
MOV CP,dx
MOV

АЯВУ – алгоритмические языки высокого уровня

Независимость от машины
Универсальные языки
Специализированные языки

АЯВУ – алгоритмические языки высокого уровня

Императивные – последовательность изменений состояния памяти
Algol-60,

АЯВУ – алгоритмические языки высокого уровня
Функциональные – Lisp, Scheme, Miranda, ML,

АЯВУ – алгоритмические языки высокого уровня
Математическое определение
Scheme

АЯВУ – алгоритмические языки высокого уровня
Логические языки – Prolog
программа представляется

АЯВУ – алгоритмические языки высокого уровня
Переписывание термов – Refal
программа представляет собой

Реализация языков программирования

Cемантика языка L сопоставляет программе p функцию
L[p] : D

Реализация языков программирования

Интерпретатор языка L на языке I
I[int](p,d) = L[p](d)

Реализация языков программирования

Интерпретатор языка L на языке I
Итеративно выбирает очередную команду

Реализация языков программирования

Транслятор (компилятор) с языка L1 в язык L2 –

Т-диаграммы

Интерпретатор
Транслятор

Многофазная трансляция

И – итальянский, Р – русский, К – китайский

Общий язык, виртуальные машины

Э – эсперанто, С – санскрит, Р -

Многоуровневая интерпретация

И – итальянский, Р – русский, К - китайский

Метод раскрутки

С0 = ядро языка (присваивания, простые выражения, безусловный и условный

Инициализация: «с чистого листа»
Первый шаг

Метод раскрутки

Шаг раскрутки

Кросс-компиляция

Перенос существующего транслятора на другую машину

Система программирования

Текстовый редактор – текст программы (.c, .h)
Включаемые файлы – предопределённые

Система программирования

Система построения – build, make

Система программирования

Справочная система – контекстная помощь
Отладка – пошаговое исполнение, точки останова,