TitleTable of ContentsScopeNotationOrganizationAcknowledgmentsLanguage OverviewGuiding PrinciplesGeneral Parallel ProgrammingControl of LocalityObject-Oriented ProgrammingGeneric ProgrammingGetting StartedVariablesTypesPrimitive TypesRangesDomains and ArraysEnumerationsTuplesClassesRecordsSummary of Non-Primitive TypesExpressionsStatementsFunctions and IteratorsInput and OutputParallelismLexical StructureCommentsWhite SpaceCase SensitivityTokensIdentifiersKeywordsLiteralsOperators and PunctuationGrouping TokensUser-Defined Compiler ErrorsTypesPrimitive TypesThe Bool TypeSigned and Unsigned Integral TypesReal TypesComplex TypesImaginary TypesThe String TypePrimitive Type LiteralsEnumerated TypesClass TypesRecord TypesUnion TypesTuple TypesRange TypesDomain and Array TypesType AliasesVariablesVariable DeclarationsDefault InitializationLocal Type InferenceGlobal VariablesLocal VariablesConstantsCompile-Time ConstantsRuntime ConstantsConfiguration VariablesConversionsImplicit ConversionsImplicit Bool and Numeric ConversionsImplicit Enumeration ConversionsImplicit Class ConversionsImplicit Record ConversionsImplicit Compile-Time Constant ConversionsImplicit Statement Bool ConversionsExplicit ConversionsExplicit Numeric ConversionsExplicit Enumeration ConversionsExplicit Class ConversionsExplicit Record ConversionsExpressionsLiteral ExpressionsVariable ExpressionsCall ExpressionsIndexing ExpressionsMember Access ExpressionsThe Query ExpressionCastsLValue ExpressionsOperator Precedence and AssociativityOperator ExpressionsArithmetic OperatorsUnary Plus OperatorsUnary Minus OperatorsAddition OperatorsSubtraction OperatorsMultiplication OperatorsDivision OperatorsModulus OperatorsExponentiation OperatorsBitwise OperatorsBitwise Complement OperatorsBitwise And OperatorsBitwise Or OperatorsBitwise Xor OperatorsShift OperatorsLogical OperatorsThe Logical Negation OperatorThe Logical And OperatorThe Logical Or OperatorRelational OperatorsOrdered Comparison OperatorsEquality Comparison OperatorsMiscellaneous OperatorsThe String Concatenation OperatorThe Arithmetic Domain By OperatorThe Range By OperatorLet ExpressionsConditional ExpressionsStatementsBlocksBlock Level StatementsExpression StatementsAssignment StatementsThe Swap StatementThe Conditional StatementThe Select StatementThe While and Do While LoopsThe For LoopZipper IterationTensor Product IterationParameter For LoopsThe Use StatementThe Type Select StatementThe Empty StatementModulesModule DefinitionsProgram ExecutionThe main FunctionCommand-Line ArgumentsModule ExecutionPrograms with a Single ModuleUsing ModulesExplicit NamingNested ModulesImplicit ModulesFunctionsFunction DefinitionsThe Return StatementFunction CallsFormal ArgumentsNamed ArgumentsDefault ValuesIntentsThe Blank IntentThe In IntentThe Out IntentThe Inout IntentVariable FunctionsParameter FunctionsFunction OverloadingFunction ResolutionIdentifying Visible FunctionsDetermining Candidate FunctionsDetermining More Specific FunctionsFunctions without ParenthesesNested FunctionsAccessing Outer VariablesVariable Length Argument ListsClassesClass DeclarationsClass AssignmentClass FieldsClass Field AccessesClass MethodsClass Method DeclarationsClass Method CallsThe this ReferenceThe this MethodThe these MethodClass ConstructorsThe Default ConstructorVariable Getter MethodsInheritanceAccessing Base Class FieldsDerived Class ConstructorsShadowing Base Class FieldsOverriding Base Class MethodsInheriting from Multiple ClassesNested ClassesAutomatic Memory ManagementRecordsRecord DeclarationsClass and Record DifferencesRecords as Value ClassesRecord InheritanceRecord AssignmentDefault Comparison Operators on RecordsUnionsUnion DeclarationsUnion FieldsUnion AssignmentThe Type Select Statement and UnionsTuplesTuple ExpressionsTuple Type DefinitionsTuple AssignmentTuple OperatorsTuple op ScalarTuple op TupleTuple Relational OperatorsTuple DestructuringVariable Declarations in a TupleIgnoring Values with UnderscoreHomogeneous TuplesDeclaring Homogeneous TuplesTuple IndexingFormal Arguments of Tuple TypeFormal Argument Declarations in a TupleRangesRange TypesLiteral Range ValuesBounded Range LiteralsUnbounded Range LiteralsRange MethodsRange AssignmentRange OperatorsBy OperatorArithmetic OperatorsRange SlicingOpen Interval NotationDomains and ArraysDomainsDomain TypesIndex TypesDomain AssignmentFormal Arguments of Domain TypeIteration over DomainsDomain Promotion of Scalar FunctionsArraysArray TypesArray IndexingArray SlicingArray AssignmentFormal Arguments of Array TypeIteration over ArraysArray Promotion of Scalar FunctionsArray InitializationArray AliasesArithmetic Domains and ArraysArithmetic Domain LiteralsArithmetic Domain TypesStrided Arithmetic DomainsArithmetic Domain SlicingArithmetic Array IndexingArithmetic Array SlicingFormal Arguments of Arithmetic Array TypeSparse Domains and ArraysSparse Domain TypesSparse Domain AssignmentModifying a Sparse DomainSparse ArraysAssociative Domains and ArraysChanging the Indices in Associative DomainsTesting Membership in Associative DomainsOpaque Domains and ArraysEnumerated Domains and ArraysAssociation of Arrays to DomainsSubdomainsPredefined Functions and Methods on DomainsPredefined Functions and Methods on Arithmetic DomainsPredefined Functions and Methods on ArraysIteratorsIterator FunctionsThe Yield StatementIterator CallsIterators in For and Forall LoopsIterators as ArraysIterators and GenericsScalar PromotionZipper PromotionTensor Product PromotionPromotion and Evaluation OrderGenericsGeneric FunctionsFormal Type ArgumentsFormal Parameter ArgumentsFormal Arguments without TypesFormal Arguments with Queried TypesFormal Arguments of Generic TypeFormal Arguments of Generic Array TypesFunction Visibility in Generic FunctionsGeneric TypesType Aliases in Generic TypesParameters in Generic TypesFields without TypesFields of Generic TypesGeneric MethodsThe eltType TypeWhere ExpressionsExample: A Generic StackParallelism and SynchronizationThe Forall LoopAlternative Forall Loop SyntaxThe Ordered Forall LoopThe Forall ExpressionFiltering PredicatesThe Cobegin StatementThe Coforall LoopThe Begin StatementThe Ordered ExpressionThe Serial StatementSynchronization VariablesSingle VariablesSync VariablesAdditional Synchronization Variable FunctionsSynchronization Variables of Record and Class TypesMemory Consistency ModelAtomic StatementLocality and DistributionLocalesThe Locale TypeLocale MethodsPredefined Locales ArrayQuerying the Locale