AXES Syntax Description.

Abstract

This document is intended to serve as an introduction to the specification language AXES. The foundations of AXES (HAM76a) are based on the formal system theory of Higher Order Software. This document contains the definition of the syntax of AXES. In addition, semantics definitions in AXES (e.g., primitive control structures, intrinsic data type definitions) are described. Examples of system specifications are used to illustrate various features of the language. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1976
Accession Number
ADA095988

Entities

People

  • Margaret Hamilton
  • S. Cushing
  • Saydean Zeldin
  • W. Heath

Organizations

  • Charles Stark Draper Laboratory

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Boolean Algebra
  • Computer Programming
  • Computers
  • Engineering
  • Identities
  • Language
  • Linguistics
  • Mathematics
  • Nomenclature
  • Numbers
  • Operating Systems
  • Programming Languages
  • Real Numbers
  • Semantics
  • Sequences
  • Software Development
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computer Networking
  • Linear Algebra