Edward D. Willink.
Proceedings of Milcom'2001, McLean, Virginia, October 2001.
Many current research and development activities make significant contributions to the quality of some particular implementation approach. In this paper we describe the Waveform Description Language, in which the best characteristics of a variety of distinct programming approaches are exploited so that standard implementation domain practices can be applied in the specification domain. A single WDL specification may be refined to support semi-automated conversion to a variety of implementations. A WDL specification avoids the ambiguities and contradictions characteristic of many conventional specifications with an underlying formality that remains accessible and familiar to programmers.
PostScript of full paper. 361kB.
PDF of full paper. 38kB.
Ed Willink's home page.
Last updated 12 April 2001.