Table of ContentsPPT Slide This Lecture Algebraic Models: The Basic Idea Example: Stack Example: Library What have We Defined? Predicates Errors Reasoning: Simplification Reasoning: Theorems Larch Example: Larch Stack Example: Larch Table Table (cont.) Larch Notes Traits and Theories Initial and Final Algebras Kinds of Operators Generated By Induction Rule Last slide Augmenting Traits S partitioned by s, t, u Examples of partition |
Author: SCS
Email: shawnh@cs.cmu.edu Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html |