• Login
    View Item 
    •   SMARTech Home
    • GVU Center
    • GVU Center Technical Reports
    • View Item
    •   SMARTech Home
    • GVU Center
    • GVU Center Technical Reports
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Automating the Design of Specification Interpreters

    Thumbnail
    View/Open
    96-14.pdf (167.3Kb)
    Date
    1996
    Author
    Stirewalt, R. E. Kurt
    Rugaber, Spencer
    Abowd, Gregory D.
    Metadata
    Show full item record
    Abstract
    In this paper, we demonstrate the use of model checking in an automated technique to verify the operationalization of a declarative specification language. We refer to an interpreter synthesizer as a software tool that transforms a declarative specification into an executable interpreter. Iterative approaches to synthesizer generation refine initial synthesizer designs by validating them over a test suite of specifications. Carefully chosen test suites and structural constraints enable inductive reasoning with support from a model checker to assert the correctness of generated interpreters. This iterative approach to synthesizer generation occurred naturally in our work on developing interpreters for declarative human-computer dialogue languages as part of the DARPA MASTERMIND project. We will discuss the issues underlying the translation, operationalization and verification of the hierarchical task language for MASTERMIND. We will also discuss the importance of this semi-automated, iterative approach for assessing non-functional design tradeoffs.
    URI
    http://hdl.handle.net/1853/3500
    Collections
    • GVU Center Technical Reports [541]

    Browse

    All of SMARTechCommunities & CollectionsDatesAuthorsTitlesSubjectsTypesThis CollectionDatesAuthorsTitlesSubjectsTypes

    My SMARTech

    Login

    Statistics

    View Usage StatisticsView Google Analytics Statistics
    facebook instagram twitter youtube
    • My Account
    • Contact us
    • Directory
    • Campus Map
    • Support/Give
    • Library Accessibility
      • About SMARTech
      • SMARTech Terms of Use
    Georgia Tech Library266 4th Street NW, Atlanta, GA 30332
    404.894.4500
    • Emergency Information
    • Legal and Privacy Information
    • Human Trafficking Notice
    • Accessibility
    • Accountability
    • Accreditation
    • Employment
    © 2020 Georgia Institute of Technology