History for OpenExtensibleLanguageFramework

changed:
-
The verification by construction panel thinks that an important research problem is an open, extensible framework for building processors for specification and programming languages.  The idea would be to allow easy experimentation with different specification or programming language notations that might (we hope) eventually aid the prospects for verified software.

As a challenge project, the problem would be to develop this language framwork from verified modules that would allow the end products to be verified.