Lecture overview -- Keyboard shortcut: 'u'  Previous page: Mirroring of HTML (4) -- Keyboard shortcut: 'p'  Next page: Document styles [Section] -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Help page about these notes  Alphabetic index  Course home  Page 12 : 19
Programmatic WWW authoring
Properties of the HTML mirrors

An HTML mirror is automatically derived from a DTD

  • Well-formed and valid documents

    • Guaranties generation of well-formed and valid HTML documents

  • Structural document representation

    • The mirror functions return abstract syntax trees which can be rendered as 'HTML text'

  • HTML layout

    • Supports optional pretty printing of the resulting HTML code

  • Convenient rendering of reserved HTML characters

    • '<' and '>' are rendered as the corresponding character entities