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 texts, and additional properties (e.g., processing options)