SAM/SAL Report and User Manual.

reportActive / Technical Report | Accession Number: ADA099498 | Open PDF

Abstract:

This document describes the SAMSAL system implemented during 1980. SAM is a Static Analysis Machine with a Static Analysis Language, SAL. The main purpose of SAMSAL is to specify arbitrary programming languages so that when programs in the specified language are run through the SAMSAL system, an annotated flowgraph representation of the program is generated.

Author(s):
Gallucci, Michael A.
Author Organization(s):
COLORADO UNIV AT BOULDER DEPT OF COMPUTER SCIENCE
Descriptive Note:
Technical rept.,
Supplementary Note:
Sponsored in part by Grant DE-AC02-80ER10718. DOI: 10.21236/ADA099498
Pagination:
0094

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
CU-CS-198-81, ARO-17124.4-M
Contract/Grant Number(s):
DAAG29-80-C-0094, NSF-MCS77-02194
Monitor Series:
17124.4-M
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.3_Planning; JCA_5.3.3_Develop Strategy; JCA_6_Net Centric; JCA_3.2_Engagement; JCA_3_Force Application; JCA_1_Force Support; JCA_3.2.2_Non-Kinetic Means; JCA_6.4_Information Assurance; JCA_1.2_Force Preparation; JCA_1.2.6_Concepts
Communities of Interest:
Cyber
Descriptor(s):
*AUTOMATION, *COMPUTER PROGRAMMING, *PROGRAMMING LANGUAGES, *FLOW CHARTING, COMPUTER PROGRAMS, COMPUTER PROGRAM DOCUMENTATION, COMPUTER LOGIC, SEMANTICS, USER NEEDS, SYSTEMS ANALYSIS, COMPILERS, SYNTAX, TRANSLATORS, STATIC TESTS, LEXICOGRAPHY, GRAMMARS
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
SAM(Static Analysis Machine), SAL(Static Analysis Language)
Report Date:
1981 Feb 01