Principles of Program Engineering

Compiled by Robert "Corky" Cartwright

• Notes on Object-Oriented Design (postscript)
• Notes on Object-Oriented Design (html)
• Hoare's Logic Part1
• Hoare's Logic Part2
• Sample Proof in Hoare's Logic
• Proof Sketch involving arrays in Hoare's Logic
• Paper on First Order Programing Logic
• Notes on First Order Programing Logic
• Sample Proof in FOPL
• Notes on Reasoning about Higher Order Data
• Notes on type systems I
• Notes on type systems II
• Notes on type systems III
• Notes on type systems IV
• Notes on type systems V
• Typing Rules for IPLC