1. C. Hoare , “ AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING ,” COMMUNICATIONS OF THE ACM , vol. 12 , no. 10, pp. 576–&, 1969. C. Hoare, “AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING,” COMMUNICATIONS OF THE ACM, vol. 12, no. 10, pp. 576–&, 1969.
2. Separation logic: a logic for shared mutable data structures
3. A Spatial Logic for Querying Graphs
4. P. W. O'Hearn , “ Resources, concurrency, and local reasoning ,” theoretical computer science, vol. 375 , no. 1-3, pp. 271–307, 2004. P. W. O'Hearn, “Resources, concurrency, and local reasoning,” theoretical computer science, vol. 375, no. 1-3, pp. 271–307, 2004.
5. Linear logic