While making a survey of QuickCheck related papers and property-based testing conferences Jan had the idea of test-driven language design. In essence it applies the test driven development process to language design by having the designers express high-level properties of the language as testable properties that then drive the language specification and implementation work. For example, it would be interesting to see how one could apply this idea in developing a formal specification for Acumen and to then checking for compliance of the current implementations.
