Index of /~aldrich/courses/15-819O-13sp/resources

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[TXT] TestSign.java           22-Jan-2010 00:26  1.4K  
[   ] callgraph.pdf           04-Mar-2013 02:50   78K  
[   ] callgraph.tex           04-Mar-2013 02:50  5.0K  
[   ] cfa.pdf                 04-Mar-2013 00:10  179K  
[   ] cfa.tex                 04-Mar-2013 00:09   22K  
[   ] checkpoints.pdf         05-Apr-2013 10:24   70K  
[   ] checkpoints.tex         05-Apr-2013 10:24  1.6K  
[   ] code.sty                28-Jan-2008 09:51  3.9K  
[TXT] dafny-example.txt       01-Apr-2013 21:52  2.1K  
[   ] dataflow-correctness..> 07-Mar-2013 07:02  186K  
[   ] dataflow-correctness..> 07-Mar-2013 01:01   18K  
[   ] dataflow-examples.pdf   05-Mar-2013 16:53  140K  
[   ] dataflow-examples.tex   05-Mar-2013 16:52   15K  
[   ] dataflow-frameworks.pdf 03-Feb-2013 23:48  156K  
[   ] dataflow-frameworks.tex 03-Feb-2013 23:47   35K  
[   ] deliverables.pdf        26-Apr-2013 15:18   73K  
[   ] deliverables.tex        26-Apr-2013 15:18  3.0K  
[   ] generic-defns.tex       28-Jan-2008 09:51  1.3K  
[   ] hoare-logic.pdf         20-Mar-2013 11:12  129K  
[   ] hoare-logic.tex         20-Mar-2013 06:21   15K  
[   ] hw1.pdf                 22-Jan-2013 20:37   78K  
[   ] hw1.tex                 22-Jan-2013 20:36  5.2K  
[   ] hw2.pdf                 29-Jan-2013 01:06   58K  
[   ] hw2.tex                 29-Jan-2013 01:06  4.0K  
[   ] hw3.pdf                 03-Feb-2013 23:21   98K  
[   ] hw3.tex                 03-Feb-2013 23:21  4.4K  
[   ] hw4.doc                 14-Feb-2013 22:19   28K  
[   ] hw4.pdf                 14-Feb-2013 22:20  8.1K  
[   ] interprocedural.pdf     17-Feb-2013 22:46  143K  
[   ] interprocedural.tex     17-Feb-2013 22:40   15K  
[   ] math-cmds.sty           28-Jan-2008 09:51  2.2K  
[   ] pointer.pdf             04-Mar-2013 11:02  184K  
[   ] pointer.tex             04-Mar-2013 10:58   26K  
[   ] project.pdf             17-Mar-2013 17:56   78K  
[   ] project.tex             17-Mar-2013 17:56  2.1K  
[   ] proof.sty               28-Jan-2008 09:51  7.7K  
[   ] rq2-synch-invar.docx    17-Mar-2013 16:15   22K  
[   ] rq2-synch-invar.pdf     17-Mar-2013 16:16   69K  
[   ] rq3-dafny.docx          24-Mar-2013 12:25   23K  
[   ] rq3-dafny.pdf           24-Mar-2013 12:25   65K  
[   ] rq4.pdf                 01-Apr-2013 11:28  110K  
[   ] rq4.tex                 01-Apr-2013 11:27  4.1K  
[   ] soot-demo.zip           02-Feb-2013 13:08   12M  
[TXT] soot-readme.txt         02-Feb-2013 13:11  649   
[TXT] symbolic-execution-e..> 02-Apr-2013 15:51  1.2K  
[   ] while-language.pdf      22-Jan-2013 20:37  111K  
[   ] while-language.tex      22-Jan-2013 20:37  6.8K  
[   ] widening-collecting.pdf 06-Feb-2013 13:19  152K  
[   ] widening-collecting.tex 06-Feb-2013 13:18   17K