John C. Reynolds
5 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.
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
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.
An Introduction to Separation Logic
John C. Reynolds (2009) · Engineering Methods and Tools for Software Safety and Security · IOS Press
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · IEEE
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