John Charles Reynolds was an American computer scientist who worked at Syracuse University and Carnegie Mellon University. He is known for contributions including continuations, definitional interpreters, defunctionalization, the Gedanken and Forsythe languages, intersection types, polymorphic lambda calculus, relational parametricity and separation logic, work recognized with the Lovelace Medal in 2010.
Facts
AwardProgramming Languages Achievement Award 1 FAQs
What is separation logic and what was it meant for?
A program logic for reasoning about shared mutable data structures.
Separation logic is a program logic for reasoning about shared mutable data structures. Reynolds described it on his Carnegie Mellon page as a new logic that he developed in joint work with Peter O'Hearn of Queen Mary, University of London. It grew out of his aim to extend the strong typing and proof systems of higher-level languages to lower-level languages that give the programmer control over data representation and storage allocation.
Connections
In Field
Source Wikipedia: John C. Reynolds
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikidata: John C. Reynolds
- Wikidata Q3719620, class allow-list match (w-wdresolver-0926)
- Wikidata Q3719620 P569 (date of birth)
2. Wikipedia: John C. Reynolds
Wikimedia FoundationLead section
John Charles Reynolds (June 1, 1935 - April 28, 2013) was an American computer scientist.
- In Field: Programming Language Theory, Infobox field and known_for, lead paragraph
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.