Ada (Trademark) Tasking and Exceptions: A Formal Definition.

Abstract

The formal language definition method used by Niklaus Wirth to describe the Euler programming language is applied to the Ada tasking and exception mechanisms. Packages are also included to the extent that they interact with tasks. A brief overview of each mechanism is given, accompanied by a detailed explanation of salient portions of the Euler method. The two phases of the definition, translation and execution, are detailed in the appendices followed by examples. Minutiae important to the design of a complementary sequential definition are detailed. (Author).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1985
Accession Number
ADA151618

Entities

People

  • D. W. Gonzalez

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • California
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Department Of Defense
  • Formal Languages
  • High Level Languages
  • Language
  • Machine Languages
  • Programming Languages
  • Software Development
  • Standards
  • Translations
  • Universities

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Computational Linguistics
  • Software Verification and Validation.