Page 23 : 40

Elucidative Programming * Introduction Where is Denmark? Where is Aalborg? Plan of this talk Introduction Kinds of understanding Which kind of documentation Views on documentation Integrated program documentation * Literate Programming Literate Programming and the WEB System An example of a literate program Internal structure of a literate program (1) Internal structure of a literate program (2) The WEB tools for literate programming Problems with WEB-like literate programming * Elucidative Programming The meaning of the word Elucidative Programming Requirements An example of an elucidative program More examples of elucidative programs The elucidative programming model The source format of the documentation - Scheme Tool Overview The elucidator tool The editor tool The browser tool Tool Integration Tool philosophy Integration with LAML SchemeDoc A broader perspective on the use of an elucidator Program Evolution * Experience Industrial experience Industrial quotes * Status and Conclusions Status and Conclusions * Further Information Web resources about Elucidative Programming

The elucidative programming model

This page describes a number of important concepts behind the elucidative programming model.

Entities Named abstractions on the program side Sections and subsections on the documentation side A naming scheme that allows us to address the program entities from the documentation

Relations A doc-prog relation which connects explanations with program entities. A prog-prog relation which connects applied and defined name occurrences A doc-doc relation which connects explanations across the hierarchical documentation structure

Source markers Represent positions in a program which we want to address in the explanations

Documentation bundle An aggregation of programs, documentation text, and processing parameters.