c Copyright 2014 Colin S. Gordon Verifying Concurrent Programs by Controlling Alias Interference

First Page		Document Content
Date: 2014-08-22 12:11:10 Software engineering Computing Theoretical computer science Type theory Data types Logic in computer science Edsger W. Dijkstra Substructural logic Separation logic Type system Haskell Subtyping		c Copyright 2014 Colin S. Gordon Verifying Concurrent Programs by Controlling Alias Interference Add to Reading List Source URL: homes.cs.washington.edu Download Document from Source Website File Size: 1,34 MB Share Document on Facebook

	Formale Systeme II: Theorie Separation Logic SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich DocID: 1xUOs - View Document
	Towards Mechanized Program Verification with Separation Logic Tjark Weber DocID: 1xUG7 - View Document
	Overview Hoare Logic Separation Logic Entailment Exercise DocID: 1xTPb - View Document
	A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria DocID: 1xTjg - View Document
	Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems DocID: 1xTgn - View Document