The analogies between a program and a Web site

• A (semi)-structured document

• A syntax (must be well-formed)

• Static semantics : constraints that a program must verify to be legal (consistency)

• Dynamic semantics

  • how a program is executed, control flow

  • formalization of the navigation in a Web site