|
|
|
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&msg=38696558&tid=1341296]: |
0ms |
get settings: |
7ms |
get forum list: |
12ms |
check forum access: |
2ms |
check topic access: |
2ms |
track hit: |
165ms |
get topic data: |
6ms |
get forum data: |
2ms |
get page messages: |
26ms |
get tp. blocked users: |
1ms |
| others: | 232ms |
| total: | 455ms |
| 0 / 0 |
