Next:
AssertParallel
Up:
Program Representation
Previous:
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
Jay Hoeflinger
Mon Apr 21 11:52:18 CDT 1997
