| dbo:abstract
|
- La logique de séparation (en anglais « Separation Logic »), attribuée à John C. Reynolds, est une extension de la logique de Hoare. Par rapport à cette dernière, elle permet de raisonner plus simplement sur les programmes qui manipulent des structures avec champs modifiables, et des pointeurs sur de telles structures. (fr)
- In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing upon early work by Rod Burstall. The assertion language of separation logic is a special case of the logic of bunched implications (BI). A CACM review article by O'Hearn charts developments in the subject to early 2019. (en)
- Логика разделения, сепарационная логика (англ. separation logic) — формальная система, подструктурная логика, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана (англ. John C. Reynolds), (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ (англ. Rod Burstall). Язык утверждений логики разделения является специальным случаем (англ. logic of bunched implications). Развитием логики разделения для параллельных вычислений с общей памятью является параллельная логика разделения, разработанная О’Хирном и (фр. Stephen D. Brookes). Технологии, основанные на логике разделения, позволяют разрабатывать системы для верификации крупных программных проектов. (ru)
|
| rdfs:comment
|
- La logique de séparation (en anglais « Separation Logic »), attribuée à John C. Reynolds, est une extension de la logique de Hoare. Par rapport à cette dernière, elle permet de raisonner plus simplement sur les programmes qui manipulent des structures avec champs modifiables, et des pointeurs sur de telles structures. (fr)
- In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs.It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing upon early work by Rod Burstall. The assertion language of separation logic is a special case of the logic of bunched implications (BI). A CACM review article by O'Hearn charts developments in the subject to early 2019. (en)
- Логика разделения, сепарационная логика (англ. separation logic) — формальная система, подструктурная логика, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана (англ. John C. Reynolds), (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ (англ. Rod Burstall). Язык утверждений логики разделения является специальным случаем (англ. logic of bunched implications). (ru)
|
