Back to Results
First PageMeta Content
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

Document Date: 2014-08-22 12:11:10


Open Document

File Size: 1,34 MB

Share Result on Facebook