1. Separation Logic.
- Author
-
O’HEARN, PETER
- Subjects
- *
COMPUTER programming , *LOGIC , *REASONING , *FRAME relay (Data transmission) , *LOCALIZATION (Mathematics) - Abstract
The article examines the use of separation logic in reasoning about computer programs. It looks at how separation logic supports scalable reasoning through the frame rule, an inference rule that allows a proof to be localized to the resources that a program component accesses. Concurrent separation logic is also covered.
- Published
- 2019
- Full Text
- View/download PDF