Accession Number:

ADA065406

Title:

FORTRAN Automated Verification System (FAVS). Volume III. DMATRAN User's Guide.

Descriptive Note:

Final technical rept. Oct 76-Jan 78,

Corporate Author:

GENERAL RESEARCH CORP SANTA BARBARA CALIF

Personal Author(s):

Report Date:

1979-01-01

Pagination or Media Count:

46.0

Abstract:

DMATRAN is a structured programming language which provides the logical constructs that are necessary to write structured code in FORTRAN. The additional control constructs in DMATRAN are a structured IF construct which allows execution of a group of statements, two basic structures which permit iteration while a logical expression is true DO WHILE...END WHILE or until a logical expression becomes true DO UNTIL...END UNTIL, and a noniterative CASE structure which begins with an integer expression which is evaluated and then compared with integers in a list of CASE statements that follow. Execution of a group of statements following the matching CASE statement is then initiated. The DMATRAN language also contains an INVOKE...BLOCK... END BLOCK construct which provides a form of internal subroutine capability as well as a way to reduce overhead costs by eliminating duplicate sections of code. This DMATRAN Users Guide describes and illustrates each structured construct. It also explains how to use the DMATRAN precompiler which translates DMATRAN into compilable FORTRAN code. The DMATRAN precompiler provides additional source text editing and display features including page ejection, suppressing source listing, and changing the syntax of DMATRAN statements the DMATRAN commands for these capabilities are also described.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE