Software Technology for Adaptable, Reliable Systems (STARS). Usage Report, AdaWise.

Abstract

AdaWise is a set of tools currently under development, checks Ada programs for improper aliasing, incorrect order dependencies (including in elaboration of compilation units), and use of undefined variables. They are written in Ada, using ASIS (Ada Semantic Interface Specification) for front-end- static semantic analysis. A user of the tools must first compile the input source to be analyzed with a compiler that supports ASIS. However, while the tool set is built using ASIS, a user of the tools is not required to have the ASIS product itself to run the tools.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 02, 1994
Accession Number
ADA289638

Entities

People

  • C. A. Barbasch

Organizations

  • Unisys

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Compilers
  • Computer Programming
  • Contractors
  • Contracts
  • Dictionaries
  • Errors
  • Expert Systems
  • Generators
  • Governments
  • Guarantees
  • Law
  • Software Development
  • Specifications
  • Standards
  • Storage

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Electrical Engineering