contact:
    Walter W. Wilson
    wwwilson1 @ sbcglobal . net

papers on axiomatic language:

Submissions to DARPA Grand Challenges of the 21st Century:
    Automatic Programming Using Axiomatic Language
    An Engineering Design Language

A Tiny Specification Metalangage, SEKE 2012, slides.

ICLP 2011 Doctoral Consortium submission: "Implementation of Axiomatic Language" (report, slides).

Specifying Input/Output by Enumeration, PLDI 2010 FIT: Fun Ideas and Thoughts (blog).

A Long-Term Logic Programming Language, ALP Newsletter, May 2004.

A Minimal Specification Language, LOPSTR 2000 Pre-Proceedings.
(slides)

Beyond PROLOG: Software Specification by Grammar, SIGPLAN Notices, Sept. 1982, pp.34-43.
(ACM link)

A Language for Engineering Design, 2007 NASA-ESA Workshop on Product Data Exchange.