Lecture overview -- Keyboard shortcut: 'u'  Previous page: Tool Overview -- Keyboard shortcut: 'p'  Next page: The editor tool -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Help page about these notes  Alphabetic index  Course home  Page 26 : 40
Elucidative Programming
The elucidator tool

The elucidator tool produces the HTML pages to be shown in a browser. In addition, the elucidator tool makes a number of data structures used by the editor to gain knowledge about the documentation bundle.

The elucidator is the tool that processes a documentation bundle in order to produce an elucidative program

  • Tasks of an elucidator:

    • Abstraction

      • Parses the documentation and the program

      • Extracts knowledge about program and documentation entities

    • Synthesis

      • Generates the HTML pages with links that represent the three kinds of relations between entities

The Scheme Elucidator do both abstraction and synthesis statically

Alternatively, the synthesis may be done dynamically by the web server.