FORTRAN Automated Verification System (FAVS). Volume III. DMATRAN User's Guide.
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 User's 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1979
- Accession Number
- ADA065406
Entities
People
- Dorothy M. Andrews
- Rich A. Melton