Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
verifying_pattern_matching_with_guards [2007/06/30 00:59]
philippe.suter
verifying_pattern_matching_with_guards [2007/06/30 01:19] (current)
philippe.suter
Line 34: Line 34:
  
   * The final report is available [[http://​icwww.epfl.ch/​~psuter/​report.pdf|here]].   * The final report is available [[http://​icwww.epfl.ch/​~psuter/​report.pdf|here]].
-  * Sources of the implementation are available through Google code: [[http://​code.google.com/​p/​sav07/​source]]. Note that this also includes the .tex source files for the report and the presentation. +  * Sources of the implementation are available through Google code: [[http://​code.google.com/​p/​sav07/​source]]. 
- +(Note that this also includes the .tex source files for the report and the presentation.) 
 +  * Don't forget to read the [[http://​sav07.googlecode.com/​svn/​trunk/​README|README file]] before trying to run the implementation.
   * slides for printing {{1xverify_pattern_matching1.1.pdf|}} (without animation) ​   * slides for printing {{1xverify_pattern_matching1.1.pdf|}} (without animation) ​
   * slides for presentation{{verify_pattern_matching1.1.pdf|}}   * slides for presentation{{verify_pattern_matching1.1.pdf|}}
 
verifying_pattern_matching_with_guards.txt · Last modified: 2007/06/30 01:19 by philippe.suter
 
© EPFL 2018 - Legal notice