OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 11:42

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 81 ]  На страницу Пред.  1, 2, 3, 4, 5
Автор Сообщение
 Заголовок сообщения: Re: Долой цикл FOR (?)
СообщениеДобавлено: Среда, 15 Апрель, 2009 17:32 

Зарегистрирован: Понедельник, 30 Июль, 2007 10:53
Сообщения: 1538
Откуда: Беларусь, Минск
slava писал(а):
Как то читал статью о "структурных переходах" (не помню ни автора ни точного названия).
В которой утверждалось, что переходы вперед и во внешний контекст являются "структурными".
Т.е., break, continue, throw-catch и даже обычный goto удовлетворяющий этим условиям можно считать структурными переходами.

К сожалению не помню пытались ли авторы доказать применимость формальных методов для доказательства корректности алгоритмов с такими "структурными переходами".
Насчёт структурности с авторами можно поспорить, а вот насчёт выбранного ими метода можно сказать следующее. Это топологическая сортировка. Её использование позволяет быть уверенным, что не придётся иметь дела с зацикленностями в программе из-за подобных переходов (goto). В математике, думаю, можно найти и доказательства этого факта.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 81 ]  На страницу Пред.  1, 2, 3, 4, 5

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 7


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB