Новые сообщения [новые:0]
Дайджест
Горячие темы
Избранное [новые:0]
Форумы
Пользователи
Статистика
Статистика нагрузки
Мод. лог
Поиск
|
|
10.02.2011, 13:05
|
|||
|---|---|---|---|
Проверка бинарных отношений переопределенных операторов компилятором |
|||
|
#18+
Академический вопрос. Можно ли создать такой компилятор, чтобы он проверял бинарные отношения переопределенных операторов на уровне компиляции, то есть пишем требование рефлексивности: Код: plaintext 1. 2. 3. аналогично требование симметричности: symmetric (a==b) == (b==a) ну и далее: транзитивности, антисимметричности (для строгих неравенств) и проч. С уважением, Naf ... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
10.02.2011, 13:29
|
|||
|---|---|---|---|
|
|||
Проверка бинарных отношений переопределенных операторов компилятором |
|||
|
#18+
Типа того. Смотри в сторону автоматических доказательств теорем ( http://en.wikipedia.org/wiki/Automated_theorem_proving) К примеру Coq( http://coq.inria.fr/) Там надо вручную писать (части) доказательства что операция будет рефлексивной(или какой угодно). Полностью автоматически такое не докажешь. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
start [/forum/topic.php?fid=16&tablet=1&tid=1343146]: |
0ms |
get settings: |
8ms |
get forum list: |
10ms |
check forum access: |
2ms |
check topic access: |
2ms |
track hit: |
27ms |
get topic data: |
6ms |
get forum data: |
2ms |
get page messages: |
23ms |
get tp. blocked users: |
1ms |
| others: | 231ms |
| total: | 312ms |
| 0 / 0 |
