Generating Correct Programs from Logic Specifications.

Abstract

We have designed and implemented a system that accepts logic specifications, generates algorithms in an intermediate language, and then translates these algorithms into programs in specific target languages. The specification and intermediate languages are described in detail via their context free grammars and axiomatic semantics. It has been proved that the mappings preserve the axiomatic semantics of the programs. We discuss the system as implemented, the requirements for extending it to new target languages, and further work suggested by the project. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 24, 1979
Accession Number
ADA073023

Entities

People

  • Ruth Ellen Davis

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Coding
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Debugging
  • Grammars
  • Information Science
  • Language
  • Military Research
  • Natural Languages
  • Notation
  • Programming Languages
  • Structured Programming
  • Symbols
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Computational Linguistics