A program logic for obstruction-freedom.

Zhao-Hui Li Xin-Yu Feng

Published in: Frontiers Comput. Sci. (2024)

Keyphrases

logic programming
program execution
declarative semantics
sound and complete axiomatization
database
case study
operating system
computer programs
static analysis
multi valued
control flow
classical logic
nonmonotonic logics
programs written