Specifications of "Larger" Example Programs
Table of Contents
Abstract: We outline how several programs, whose SLOC > 10000, can be specified rigorously and unambiguously.
1 Challenge: Specify pandoc et al.
- OrgMode http://emacswiki.org/emacs/OrgMode
f.orgproduced by me/you,f.htmland other formats generatable
- MarkDown http://daringfireball.net/projects/markdown/
fnm.txtproduced by us.markdown fnm.txt -o fnm-md.html- GitHub uses markdown for all "readme" files.
- http://www.codinghorror.com/blog/2012/10/the-future-of-markdown.html
- PanDoc http://pandoc.org/ a universal document converter
pandoc -s -S -i -t slidy fnm.txt -o fnm-slidy.htmltext file to slides in htmlpandoc fnm.txt -o fnm.pdfto PDF- What are pandoc's obligations?
pandoc a.html -o a.txtstrip htmlpandoc a.txt -o b.htmlback to htmldiff a.html b.htmlshould these be equal?