Program Representation

• Data Structure discussion
  • discussions of each major structure (including Workspaces, DDGraph)
  • Data Structure diagrams
• Data structure incremental consistency
• Collection hierarchy
  • Key usage within Collections
    • Properties
    • Key Comparison
    • Why is external meaning important?
  • A comparison between Databases and KeyDatabases
    • Restrictions on key objects
• Statement list conventions
• Polaris Assertions and their meanings
  • AssertParallel
  • AssertPrivate
  • AssertLastValue and AssertDynLastValue
  • AssertLoopLabel
  • AssertReduction
  • AssertFirstValue
  • AssertRangeWritten
  • AssertPrivateRefs
  • AssertReadOnlyRefs
  • AssertInstrument
  • AssertInline and AssertNoInline
  • AssertSerial
  • AssertSafeCondition
  • AssertInduction
  • AssertMayMod and AssertNoMod
  • AssertParallelCondition
  • AssertRelation
  • AssertRunTimeTest
  • AssertSchedule
• ProgramUnit tag
• Use of Expressions
  • assign()/pull()
  • Calculating range expressions
  • replace()
  • Statement::iterate_expressions()
  • arg_list(), Iterator with
  • expr_simplify()
  • Statement::simplify_expressions()
• Shape information / Intrinsics
• Fortran90 support