John C. Reynolds
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
An Introduction to Separation Logic
John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
Intuitionistic Reasoning about Shared Mutable Data Structure
John C. Reynolds (2000) · Millennial Perspectives in Computer Science