|
|
|
C.A.R. Hoare Proof of a program
|
|||
|---|---|---|---|
|
#18+
Здравствуйте, начал читать эту статью. В ней, сэр Хоар ссылается на свою работы Algorithm 65, Find. Comm ACM, 1961. Однако я нашёл только платные копии данной работы, подскажите где можно найти эти работы. Может быть у вас есть они в личном архиве. 2. Допустим вы разработали алгоритм, используете ли вы технику варианта-инвариант для доказательства алгоритма ? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 15.07.2014, 08:43 |
|
||
|
C.A.R. Hoare Proof of a program
|
|||
|---|---|---|---|
|
#18+
Собственно как я к этому пришел, читал книгу, кое-что не понял. Мне показалось что в рассуждениях ошибка. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 15.07.2014, 09:12 |
|
||
|
|
start [/forum/topic.php?fid=16&tid=1341296]: |
0ms |
get settings: |
8ms |
get forum list: |
16ms |
check forum access: |
5ms |
check topic access: |
5ms |
track hit: |
81ms |
get topic data: |
12ms |
get forum data: |
3ms |
get page messages: |
46ms |
get tp. blocked users: |
2ms |
| others: | 237ms |
| total: | 415ms |
| 0 / 0 |
