Summary
What is the problem ?
Examples
Analogy between a program and a Web site or an XML document
Formal Semantics
Experiments
Conclusion