Programatica Tools

Slides from status reports and other presentations

• 2001-09-10 Status report at sponsor visit,
• 2001-10-26 Internal status report,
• 2002-06-18 Status report at sponsor visit,
• 2003-04-29 Demo of the Alfa Certificate Server,
• 2004-02-09 Talk at the Workshop in Refactoring Functional Programs,
• 2004-02-27 Proof of the Chip Model Separation Property in Alfa,
• 2004-05-11 A formal proof of the Chip Model Separation Property.
• 2004-09-16 A formal proof of the Chip Model Separation Property. Trimmed down version.