Английская Википедия:Interference freedom: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

26 марта 2024

  • текущ.пред. 09:5809:58, 26 марта 2024‎ EducationBot обсуждение вклад‎ 50 400 байт +50 400‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Concurrent program verification method}} In computer science, '''interference freedom''' is a technique for proving partial correctness of concurrent programs with shared variables. Hoare logic had been introduced earlier to prove correctness of sequential programs. In her PhD thesis<ref name="OwickiThesis">{{cite thesis |last= Owicki |first= Susan S. |dat...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Interference_freedom