Доказательство правильности DSL
От: kochetkov.vladimir Россия https://kochetkov.github.io
Дата: 15.07.15 17:12
Оценка:
Здравствуйте, Mamut, Вы писали:

M>- как доказывать правильность этих DSL'ей?


А можешь развить мысль поподробнее? Что ты вкладываешь в понятние "правильности" DSL и каковы критерии доказнности этой правильности?
... << RSDN@Home 1.2.0 alpha 5 rev. 76>>

16.07.15 11:50: Ветка выделена из темы За счет чего выстреливают языки?
Автор: Mamut
Дата: 07.07.15
— kochetkov.vladimir

[Интервью] .NET Security — это просто
Автор: kochetkov.vladimir
Дата: 07.11.17
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.