AADL 3 Type System and Expression Language

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2019
Accession Number
AD1089827

Entities

People

  • Lutz Wrage

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Composite Materials
  • Conversion
  • Copyrights
  • Data Modeling
  • Department Of Defense
  • Engineering
  • Guarantees
  • Language
  • Machine Learning
  • Materials
  • Measurement
  • Models
  • Scripting Languages
  • Si Base Units
  • Software Development
  • Structural Analysis
  • Universities

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Software Engineering.