Colin

#	Item
11	c Copyright 2014 Colin S. Gordon Verifying Concurrent Programs by Controlling Alias Interference Add to Reading List Source URL: homes.cs.washington.edu Language: English - 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
12	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-02-12 03:13:16
13	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-02-12 03:13:14
14	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-01-17 00:10:30
15	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-02-12 03:13:17
16	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-02-12 03:11:41
17	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-02-12 03:13:10
18	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-02-12 03:13:03
19	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-02-12 03:11:36
20	PDF Document Add to Reading List Source URL: www.colin-kirkpatrick.com - Date: 2015-02-12 03:13:09