OberonCore
https://forum.oberoncore.ru/

Темы и посты по структ. редакторам в др. форумах OberonCore
https://forum.oberoncore.ru/viewtopic.php?f=93&t=3137
Страница 1 из 1

Автор:  Сергей Прохоренко [ Понедельник, 10 Январь, 2011 00:09 ]
Заголовок сообщения:  Темы и посты по структ. редакторам в др. форумах OberonCore

Ссылки на темы по структурным редакторам в других форумах OberonCore:


Добавления приветствуются! :D

Автор:  Владислав Жаринов [ Понедельник, 10 Январь, 2011 04:35 ]
Заголовок сообщения:  Re: Темы и посты по структ. редакторам в др. форумах OberonC

Сергей Прохоренко писал(а):
Ссылки на темы по структурным редакторам в других форумах OberonCore:

Добавления приветствуются! :D

Одна из таких форм реализована в прогязыке Promela (используется как язык спецификации деятельности для инженерной проработки в среде Spin) - см. руководство по языку, вложенное в это сообщение и примеры в выдержке из работы Карпова, вложенной в это сообщение.

Автор:  Peter Almazov [ Понедельник, 10 Январь, 2011 08:30 ]
Заголовок сообщения:  Re: Темы и посты по структ. редакторам в др. форумах OberonC

Сергей Прохоренко писал(а):
Добавления приветствуются! :D
Семантический редактор

Автор:  Владислав Жаринов [ Понедельник, 10 Январь, 2011 09:12 ]
Заголовок сообщения:  Re: Темы и посты по структ. редакторам в др. форумах OberonC

Peter Almazov писал(а):
Сергей Прохоренко писал(а):
Добавления приветствуются! :D
Семантический редактор
Её уже рядом перенесли :)

Автор:  Сергей Прохоренко [ Понедельник, 10 Январь, 2011 19:37 ]
Заголовок сообщения:  Re: Темы и посты по структ. редакторам в др. форумах OberonC

Спасибо за ссылку, Драконограф!

Воспроизвожу по полученной ссылке форму цикла Дейкстры в языке Promela из указанного источника:
Код:
proctype Euclid(int x, y){
do
    :: (x > y) -> x = x - y
    :: (x < y) -> y = y - x
    :: (x == y) -> goto done
od;
done: skip
}

Здесь skip - пустой оператор, перед которым стоит метка done.



А вот как будет выглядеть тот же пример в PureBuilder:
Код:
┌while
 │▼ x > y
 │    dec (x, y)
 │▼ x < y
└    dec (y, x)

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

Объявление параметров и возвращаемого значения функции Euclid осуществляется в отдельной табличке.

Псевдографика не очень правильно передает скобку слева. На самом деле она непрерывная, с закругленными углами и полностью охватывает строки с while и dec (y, x).

Ключевые слова должны изображаться жирным шрифтом. Значки ▼ используются при необходимости сворачивания соответствующих ветвей цикла. При этом они принимают вид ►.

Автор:  Владислав Жаринов [ Вторник, 11 Январь, 2011 06:54 ]
Заголовок сообщения:  Re: Темы и посты по структ. редакторам в др. форумах OberonC

Сергей Прохоренко писал(а):
Спасибо за ссылку, Драконограф!

Воспроизвожу по полученной ссылке форму цикла Дейкстры в языке Promela из указанного источника:...
Ну это в общем-то будет топик для упомянутой темы или какой-то специализированной, наверное... Я пока вернулся в упомянутую - см. ответ в этом сообщении.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/