Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Mathematics
• Abstract algebra
• Algebra
• Constructible universe
• Lie algebras
• Lie groups
• Field theory
• CurryHoward correspondence
• Generalised Whitehead product

The Essence of Reynolds (title borrowed from POPL14’s session in honour of John C. Reynolds, by Stephen Brookes, Peter O’Hearn and Uday Reddy) Álvaro García-Pérez

Source URL: babel.ls.fi.upm.es

Automated Software Analysis and Verification with Separation Logic Josh Berdine Cristiano Calcagno Dino Distefano Samin Ishtiaq Peter O’Hearn John Reynolds Hongseok Yang CAV 2016

Source URL: www0.cs.ucl.ac.uk

Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

Source URL: www.lsv.ens-cachan.fr

THE DON REYNOLDS TESTIMONY AND LBJ JOHN DELANE WILLIAMS AND DEBRA CONWAY Copyright © 2001 Williams and Conway. All rights reserved.

Source URL: jfklancer.com

Isle of Wight County Records – 1622 Members of the Virginia Company (that is, stockholders in London) in this period included Henry Reynolds, Richard Reynolds, Humphrey Reynolds, John Reynolds, and “Mr

Source URL: www.genfiles.com

Birding Coombabah Coombabah Lakelands Conservation Area Helensvale, Gold Coast, Queensland John Reynolds & Mat Gilfedder Feb 2014

Source URL: johnreynolds.org

LISP AND SYMBOLIC COMPUTATION: An International Journal, 6, 233–247, 1993 c 1993 Kluwer Academic Publishers – Manufactured in The Netherlands The Discoveries of Continuations JOHN C. REYNOLDS

Source URL: www.cs.ru.nl

W. H. and Rogene Reynolds 4444 W. Undine Road Stockton, CADelta Vision Attention: John Kirlin, Exec Director

Source URL: www.deltavision.ca.gov

FOR IMMEDIATE RELEASE: October 15, 2015 Contact: John Lang, Cullman County Engineer, Terri Reynolds, DRIVE Alabama

Source URL: www.cullmancoroaddept.com