Lecture04 - COMPUTER SCIENCE 51 cs51.seas.harvard.edu Spring 2009 Prof Greg Morrisett Prof Ramin Zabih Logistical minutia We'll take a 5-minute

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
COMPUTER SCIENCE 51 Spring 2009 cs51.seas.harvard.edu Prof. Greg Morrisett Prof. Ramin Zabih
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Logistical minutia We’ll take a 5 -minute break mid-class Due to popular demand! After break: Blackadder excerpt Grading policy questions are the purview of the TF’s Even if Greg or I contradict them Project 1 released shortly Checkpoints each Tuesday Choose a partner by Friday 11:59PM
Background image of page 2
Today: program design Hierarchical design of systems In CS and outside of it “Recursive decomposition” Contract versus implementation What is computed, as opposed to how Proper design of datastructures
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Basic idea Break your code into pieces, where each piece has a contract/spec Exposes certain functions Invariant : how the functions behave Everything else about the code is hidden This sounds like a platitude Let’s demo its importance See: Project1a Modularity is like oxygen or gravity Appreciated primarily in its absence
Background image of page 4
Point “contract” Constructor: (make-point x y) Accessors: (point-x p)(point-y p) Predicate: (point? p)
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 07/26/2009 for the course COMPUTERSC CS51 taught by Professor Gregmorrisett during the Spring '09 term at Harvard.

Page1 / 21

Lecture04 - COMPUTER SCIENCE 51 cs51.seas.harvard.edu Spring 2009 Prof Greg Morrisett Prof Ramin Zabih Logistical minutia We'll take a 5-minute

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online