Monday, May 24, 2010

Design-Oriented Programming: Macro-Driven Literate Programming in Self-Validating PDL

by Joel Vaughn

1 comment:

  1. This could be thought of as Literate Programming with embedded self-checking meta-statements; or conversely, Intentional Programming with an emphasis on a program as text (or hypertext, rather).

    The call for papers seemed to be asking radical ideas, so I aimed to please. There were more applications I wanted to mention, but there wasn't room. And there were more specific examples that I would like to have gone into, but they would not give a feel for the generality of the main idea.

    Hopefully, I'll be able to fill in some of the blanks here.