Accession Number:

AD1089827

Title:

AADL 3 Type System and Expression Language

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2019-01-01

Pagination or Media Count:

26.0

Abstract:

Contents include Type System Unification Current Composite Types Current Usages of Types Type System and Expression Language Goals Type System Unification Approach User Defined Types Numeric Ranges Expression Language Literals Expression Language Operations 1 Expression Language Operations 2 Variables Function Definitions Prototype Implementation Type Extension Measurement Units Standard Metric Prefixes Unit Definitions and Usage Expressions and Classifiers.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE