A Prototype Formal Methods Environment
Ray Teitelbaum · 2001
The Synthesizer Generator is a system for generating language-based editors and interfaces from formal grammatical specifications. This project aimed to evaluate the utility of the Synthesizer Generator for building professional-quality user interfaces for formal-methods tools. As a test case, we used the Synthesizer Generator to prototype a new user-interface for the Cornell University's NuPRL theorem proving system, and delivered it to Cornell.