Meta-Evaluation as a Tool for Program Understanding

Abstract

This report describes the technology used in a running system that embodies theories of program well-formedness and informality resolution established by symbolically executing the program to systematically discover the intended meaning of each informal construct within an informal specification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1978
Accession Number
ADA050590

Entities

People

  • David Wile
  • Neil Goldman
  • Robert Balzer

Organizations

  • University of Southern California

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computations
  • Computer Programming
  • Computers
  • Databases
  • Environment
  • Hypotheses
  • Information Science
  • Language
  • Models
  • Natural Languages
  • Programming Languages
  • Relational Databases
  • Simulations
  • Simulators
  • Software Development
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Defense Acquisition Program Management