Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department - Binomial series - Document - PDFSEARCH.IO

First Page	Meta Content
	Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Add to Reading List Document Date: 2008-03-11 15:10:19 Open Document File Size: 298,24 KB Share Result on Facebook / IndustryTerm composition law / / Organization National Science Foundation / Danish National Research Foundation / Carnegie Mellon University / / Person Richard Bornat / John C. Reynolds / David Pym / / Position author / / Technology dom / / URL http / SocialTag Curry–Howard correspondence Binomial series Logic in computer science Constructible universe Separation logic

Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science DepartmentAdd to Reading List