Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
An Introduction to Separation Logic (Preliminary Draft)
 

Summary: An Introduction to Separation Logic
(Preliminary Draft)
John C. Reynolds
Computer Science Department
Carnegie Mellon University
c
#John C. Reynolds 2008
ITU University, Copenhagen
October 20--22, 2008, corrected October 23


Chapter 1
An Overview
An Introduction
to Separation Logic
c
#2008 John C. Reynolds
October 23, 2008
Separation logic is a novel system for reasoning about imperative programs.
It extends Hoare logic with enriched assertions that can describe the separa­

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Reynolds, John C. - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences; Mathematics