Thesis Progress

• Oct 4, 2006
  Met with Prof. Schreiner. Things to look into:
  • Microsoft Spec#
  • HP Theorum Prover
  • Java Modeling Language
  • Splint/Static Checker
  He pointed me at the Type Inference algorithm in Essentials of Programming Languages. Recommended test implemention
• Oct 8, 2006
  Rewrote CS website.
• Oct 9, 2006
  Contacted HP to ask about doing project that moves into thesis. Result is that this is possible, but the thesis proposal must be written with this in mind.
• First draft of pre-proposal DVI PDF