A literature programming tool -- by Yijun Yu

Usage

Markup Documents (e.g. LaTeX)

1. Add one line to the beginning

\usepackage{lp}

Note. Add either

\newif\iflp\ifx\lp\undefined \lptrue \else \lpfalse \fi
\newif\iflpexplicit\ifx\lpexplicit\undefined \lpexplicittrue \else \lpexplicitfalse \fi

or

\newif\iflp\ifx\lp\undefined \lpfalse \else \lptrue \fi
\newif\iflpexplicit\ifx\lpexplicit\undefined \lpexplicitfalse \else \lpexplicittrue \fi

To control whether to output the highlighted typeset document or not.
2. Use the following macros to markup your document for define, use, import and export of the concepts

\use{FooBar}{foo bar is used}
\define{FooBar}{blabla is defined}
\import{FooBar}{... \cite{..}}
\export{FooBar}{...}

Here is an Example.

Generating Programs

1. Just call your usual LaTeX or PDFLaTeX processors
Here are example error messages.

Analyzing Programs

1. Just call the C/C++ compiler
Here are example error messages.

Development

Download

• The literature programming package
• The experiment data
• The literature programming paper marked by the macros
• The literature programming paper (option 1: \lpexplicitfalse)
• The literature programming paper highlighting the markups (option 2: \lpexplicittrue)
• The literature programming paper generated C program (option 3: \lptrue)
• The literature programming paper generated C header (option 3: \lptrue)
Other 16 headers are derived from the import macros.

References

• TeX by Topics

Design decisions

General thoughts

Document processors: Word/OpenDoc, LaTeX, DocBook, TEI,

Literate programming tools: WEB,

ChangeLog