caxapa.ru :: да не нужно его делать.

Д.ARMоед (29.07.2013 13:24, просмотров: 301) ответил Evgeny_CD на Осталось сделать мелочь: компилер правильный язык -> подмножество С, причем отображение изоморфное и формально верифицируемое.

да не нужно его делать. имхо, линейная запись и неблокирующие синхронные и асинхронные взаимодействия успешно решаются одинаково успешно для карусели, кооперативки и вытесняющей системы всего двумя пальцами: 1. цикл Дейкстры 2. либа/макрос Sleep прототридс'ы - это слишком уж вырожденный вариант первого пункта. от них придётся отказаться. верификация решается проверкой пред и постусловий, которые естественным образом пишутся для цикла дейкстры - хоть на це, хоть на цепепе. Хочется отдельной верификации - тоже не проблема, просто помечаем пред и постусловия для препроцессора, и его выход парсим "нужной тулзой", не трогая компилер, язык и программу. Имхо, это удобнее, чем юзать бугага от ISO_C, на которую ты уже давал ссылку: http://caxapa.ru/427628.html

Ответить

- А можно пример? Как будет выглядеть с циклами Дейкстры? Скрипач(756 знак., 29.07.2013 13:29)
  - конечно, можно Д.ARMоед(726 знак., 30.07.2013 00:41)
    - Спасибо. А можно еще попросить вас добавить в этот пример управление устройством, имеющим свои собственные времянки? Например импульсное реле (включаем-выключаем импульсом 200мс, пауза не менее 400мс)? Скрипач(70 знак., 30.07.2013 09:27)
      - это ничего принципиально нового в обсуждение главного посыла (про два пальца) не добавит. Д.ARMоед(2806 знак., 30.07.2013 11:20 - 11:30)
  - Народ на оберонкоре трет по теме -> - Evgeny_CD(29.07.2013 13:55, ссылка)
    - Цитата: Скрипач(384 знак., 29.07.2013 14:02 - 16:16)
    - и давноо трёт :)) - Д.ARMоед(29.07.2013 14:16)
  - Однозначно, считаю, лучше с циклом Отто, или с циклом Дизеля. - fk0(29.07.2013 13:42)
    - это замечательно, что к ветке присоединились глубоко эрудированные люди. ваш вклад будет особо заметен, когда специалисты will be stuck to laps of reason. - Д.ARMоед(29.07.2013 15:39)
    - Цикл Карно лучше. - Скрипач(29.07.2013 13:45)
      - Цикл о Шерлоке Холмсе - он еще лучше :) - Evgeny_CD(29.07.2013 13:58)

Средства и методы разработки