A Prototype Formal Methods Environment

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 17, 2001
Accession Number
ADA390952

Entities

People

  • Ray Teitelbaum

Organizations

  • GrammaTech

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Environment
  • Generators
  • Information Operations
  • Language
  • Models
  • Prototypes
  • Scripting Languages
  • Specifications
  • Standards
  • User Interface

Fields of Study

  • Physics

Readers

  • Academic Conference Management
  • Computational Linguistics
  • Database Systems and Applications