Separation logic
http://dbpedia.org/resource/Separation_logic an entity of type: Software
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.
rdf:langString
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.
rdf:langString
Логика разделения, сепарационная логика (англ. separation logic) — формальная система, подструктурная логика, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана (англ. John C. Reynolds), (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ (англ. Rod Burstall). Язык утверждений логики разделения является специальным случаем (англ. logic of bunched implications).
rdf:langString
rdf:langString
Logique de séparation
rdf:langString
Separation logic
rdf:langString
Логика разделения
xsd:integer
4273222
xsd:integer
1107450211
rdf:langString
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.
rdf:langString
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.
rdf:langString
Логика разделения, сепарационная логика (англ. separation logic) — формальная система, подструктурная логика, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана (англ. John C. Reynolds), (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ (англ. Rod Burstall). Язык утверждений логики разделения является специальным случаем (англ. logic of bunched implications). Развитием логики разделения для параллельных вычислений с общей памятью является параллельная логика разделения, разработанная О’Хирном и (фр. Stephen D. Brookes). Технологии, основанные на логике разделения, позволяют разрабатывать системы для верификации крупных программных проектов.
xsd:nonNegativeInteger
24361