This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
John C. Reynolds
A grouping.
The other half of separation logic's founding: intuitionistic reasoning about shared mutable data structure, the 2002 paper the field is usually dated from, and his own teaching account of it. The earlier line is what a type means -- towards a theory of type structure, and the 1983 paper parametricity is named from. Not to be confused with Andrew Reynolds, who has a page of his own here and also appears in separation-logic; nothing but the given name distinguishes them in an author list.
7 references
An Introduction to Separation Logic
John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security · IOS Press
An Overview of Separation Logic
John Reynolds (2008) · Verified Software: Theories, Tools, Experiments · Springer
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · IEEE
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn and others (2001) · Computer Science Logic · Springer
Intuitionistic Reasoning about Shared Mutable Data Structure
John C. Reynolds (2000) · Millennial Perspectives in Computer Science · Macmillan Education UK
Types, Abstraction and Parametric Polymorphism
John C. Reynolds (1983) · Information Processing 83 · North-Holland
Towards a theory of type structure
John C. Reynolds (1974) · Programming Symposium · Springer