 |
| |||
| логика разделения (формальная система, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара Alex_Odeychuk) | |||
| сепарационная логика (Alex_Odeychuk) | |||
|
separation logic : 1 短语, 1 学科 |
| 逻辑 | 1 |
|
| |||
| логика разделения (формальная система, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара Alex_Odeychuk) | |||
| сепарационная логика (Alex_Odeychuk) | |||
|
separation logic : 1 短语, 1 学科 |
| 逻辑 | 1 |