<?xml version="1.0" encoding="UTF-8"?>

<?NLS TYPE="org.eclipse.help.toc"?>

<toc label="Refal Plus Reference Manual" topic="ch0/Contents.html">
<topic label="Refal Plus Reference Manual" href="ch0/Contents.html"/>
<topic label="Introduction" href="ch0/Introduction.html"/>
<topic label="Programming in Refal Plus" href="ch1/ProgrammingInRefalPlus.html">
<topic label="Your First Refal Plus Program" href="ch1/YourFirstRefalPlusProgram.html"/>
<topic label="Data Structures" href="ch1/DataStructures.html">
<topic label="Objects vs. Values" href="ch1/DataStr/ObjectsVsValues.html"/>
<topic label="Ground Expressions" href="ch1/DataStr/GroundExpressions.html"/>
<topic label="Representing Tree Structures" href="ch1/DataStr/RepresentingTreeStructures.html"/>
<topic label="Types of Objects" href="ch1/DataStr/TypesOfObjects.html"/>
<topic label="Garbage Collection" href="ch1/DataStr/GarbageCollection.html"/>
</topic>
<topic label="Evaluation and Analysis of Ground Expressions" href="ch1/EvaluationAndAnalysisOfGroundExpressions.html">
<topic label="Variables" href="ch1/EvAnGrExp/Variables.html"/>
<topic label="Result Expressions" href="ch1/EvAnGrExp/ResultExpressions.html"/>
<topic label="Patterns" href="ch1/EvAnGrExp/Patterns.html"/>
</topic>
<topic label="Functions Defined in the Program" href="ch1/FunctionsDefinedInTheProgram.html">
<topic label="Formats of Functions" href="ch1/FnDef/FormatsOfFunctions.html"/>
<topic label="Function Definitions" href="ch1/FnDef/FunctionDefinitions.html"/>
<topic label="One-Sentence Function Definitions" href="ch1/FnDef/OneSentenceFunctionDefinitions.html"/>
<topic label="Local Variables" href="ch1/FnDef/LocalVariables.html"/>
<topic label="A Syntax-Related Subtlety: Paths, Rests, and Sources" href="ch1/FnDef/PathsRestsAndSources.html"/>
<topic label="Local Variables (Continuation)" href="ch1/FnDef/LocalVariablesContinuation.html"/>
<topic label="Recursion" href="ch1/FnDef/Recursion.html"/>
</topic>
<topic label="Logical conditions" href="ch1/LogicalConditions.html">
<topic label="Conditions and Predicates" href="ch1/LgCnd/ConditionsAndPredicates.html"/>
<topic label="Conditionals" href="ch1/LgCnd/Conditionals.html"/>
<topic label="Logical Connectives" href="ch1/LgCnd/LogicalConnectives.html"/>
<topic label="Example: Formal Differentiation" href="ch1/LgCnd/ExampleFormalDifferentiation.html"/>
<topic label="Example: Comparison of Sets" href="ch1/LgCnd/ExampleComparisonOfSets.html"/>
</topic>
<topic label="Direct access selectors" href="ch1/DirectAccessSelectors.html"/>
<topic label="Functions returning several results" href="ch1/FunctionsReturningSeveralResults.html">
<topic label="Traversing Ground Expressions" href="ch1/FnRetSevrRes/TraversingGroundExpressions.html"/>
<topic label="Quicksort" href="ch1/FnRetSevrRes/Quicksort.html"/>
</topic>
<topic label="Iteration" href="ch1/Iteration.html"/>
<topic label="Search and backtracking" href="ch1/SearchAndBacktracking.html">
<topic label="The Queens Problem" href="ch1/SrchBktr/TheQueensProblem.html"/>
<topic label="The Sequence Problem" href="ch1/SrchBktr/TheSequenceProblem.html"/>
</topic>
<topic label="Example: a compiler for a small imperative language" href="ch1/ExampleACompilerForASmallImperativeLanguage.html">
<topic label="The Source Language" href="ch1/ExampleACompiler/TheSourceLanguage.html"/>
<topic label="The Target Language" href="ch1/ExampleACompiler/TheTargetLanguage.html"/>
<topic label="The General Structure of the Compiler" href="ch1/ExampleACompiler/TheGeneralStructureOfTheCompiler.html"/>
<topic label="The Modules of the Compiler and their Interfaces" href="ch1/ExampleACompiler/TheModulesOfTheCompilerAndTheirInterfaces.html"/>
<topic label="The Main Module" href="ch1/ExampleACompiler/TheMainModule.html"/>
<topic label="The Scanner" href="ch1/ExampleACompiler/TheScanner.html"/>
<topic label="The Parser" href="ch1/ExampleACompiler/TheParser.html"/>
<topic label="The Code Generator" href="ch1/ExampleACompiler/TheCodeGenerator.html"/>
<topic label="The Dictionary Module" href="ch1/ExampleACompiler/TheDictionaryModule.html"/>
</topic>
</topic>
<topic label="Syntax and Semantics of Refal Plus" href="ch2/SyntaxAndSemanticsOfRefalPlus.html">
<topic label="Syntax Notation" href="ch2/SyntaxNotation.html"/>
<topic label="Natural Semantics Specifications" href="ch2/NaturalSemanticsSpecifications.html"/>
<topic label="Lexical Structure of Programs" href="ch2/LexicalStructureOfPrograms.html">
<topic label="Comments" href="ch2/LexicalStr/Comments.html"/>
<topic label="Identifiers" href="ch2/LexicalStr/Identifiers.html"/>
<topic label="Tokens" href="ch2/LexicalStr/Tokens.html">
<topic label="Keywords" href="ch2/LexicalStr/Keywords.html"/>
<topic label="Character Symbols" href="ch2/LexicalStr/CharacterSymbols.html"/>
<topic label="Word Symbols" href="ch2/LexicalStr/WordSymbols.html"/>
<topic label="Numeric Symbols" href="ch2/LexicalStr/NumericSymbols.html"/>
<topic label="Variables" href="ch2/LexicalStr/Variables.html"/>
</topic>
<topic label="Normalization of the Token Stream" href="ch2/LexicalStr/NormalizationOfTheTokenStream.html"/>
</topic>
<topic label="Objects and Values" href="ch2/ObjectsAndValues.html"/>
<topic label="Static and Dynamic Symbols" href="ch2/StaticAndDynamicSymbols.html"/>
<topic label="Ground Expressions" href="ch2/GroundExpressions.html"/>
<topic label="Symbolic Names" href="ch2/SymbolicNames.html">
<topic label="Expression Names" href="ch2/SymbNames/ExpressionNames.html"/>
<topic label="Function Names" href="ch2/SymbNames/FunctionNames.html"/>
<topic label="Reference Names" href="ch2/SymbNames/ReferenceNames.html"/>
<topic label="Module Names" href="ch2/SymbNames/ModuleNames.html"/>
</topic>
<topic label="Named Ground Expressions" href="ch2/NamedGroundExpressions.html"/>
<topic label="Variable Values and Environments" href="ch2/VariableValuesAndEnvironments.html"/>
<topic label="Result Expressions" href="ch2/ResultExpressions.html"/>
<topic label="Patterns" href="ch2/Patterns.html"/>
<topic label="Hard Expressions" href="ch2/HardExpressions.html"/>
<topic label="Paths" href="ch2/Paths.html">
<topic label="Conditions" href="ch2/Paths/Conditions.html"/>
<topic label="Bindings" href="ch2/Paths/Bindings.html"/>
<topic label="Searches" href="ch2/Paths/Searches.html"/>
<topic label="Matches" href="ch2/Paths/Matches.html"/>
<topic label="Rests" href="ch2/Paths/Rests.html">
<topic label="Delimited Paths" href="ch2/Paths/DelimitedPaths.html"/>
<topic label="Negative Conditions" href="ch2/Paths/NegativeConditions.html"/>
<topic label="Fences" href="ch2/Paths/Fences.html"/>
<topic label="Cuts" href="ch2/Paths/Cuts.html"/>
<topic label="Failures" href="ch2/Paths/Failures.html"/>
<topic label="Right Hand Sides" href="ch2/Paths/RightHandSides.html"/>
<topic label="Error Generators" href="ch2/Paths/ErrorGenerators.html"/>
<topic label="Error Traps" href="ch2/Paths/ErrorTraps.html"/>
</topic>
<topic label="Sources" href="ch2/Paths/Sources.html">
<topic label="Alternatives" href="ch2/Paths/Alternatives.html"/>
<topic label="Alternative Matches" href="ch2/Paths/AlternativeMatches.html"/>
<topic label="Result Expressions as Sources" href="ch2/Paths/ResultExpressionsAsSources.html"/>
</topic>
</topic>
<topic label="Sentences" href="ch2/Sentences.html"/>
<topic label="Pattern Alternatives" href="ch2/PatternAlternatives.html"/>
<topic label="Function Definitions" href="ch2/FunctionDefinitions.html"/>
<topic label="Declarations" href="ch2/Declarations.html">
<topic label="Constant Declarations" href="ch2/Decl/ConstantDeclarations.html"/>
<topic label="Object Declarations" href="ch2/Decl/ObjectDeclarations.html"/>
<topic label="Function Declarations" href="ch2/Decl/FunctionDeclarations.html"/>
</topic>
<topic label="Context Dependent Restrictions" href="ch2/ContextDependentRestrictions.html">
<topic label="Elimination of Redundant Constructs" href="ch2/CtxDepRestr/EliminationOfRedundantConstructs.html"/>
<topic label="Restrictions Imposed by Function Declarations" href="ch2/CtxDepRestr/RestrictionsImposedByFunctionDeclarations.html"/>
<topic label="Restrictions on the Use of References to Functions" href="ch2/CtxDepRestr/RestrictionsOnTheUseOfReferencesToFunctions.html"/>
<topic label="Restrictions on the Use of Variables" href="ch2/CtxDepRestr/RestrictionsOnTheUseOfVariables.html"/>
<topic label="Restrictions on the Use of Cuts" href="ch2/CtxDepRestr/RestrictionsOnTheUseOfCuts.html"/>
</topic>
<topic label="Trace Directives" href="ch2/Decl/TraceDirectives.html"/>
<topic label="Modules" href="ch2/Modules.html"/>
<topic label="Program Execution" href="ch2/ProgramExecution.html"/>
</topic>
<topic label="Refal Plus Library Functions" href="ch3/RefalPLusLibraryFunctions.html">
<topic label="Access: Direct Access to Ground Expressions" href="ch3/Access.html"/>
<topic label="Apply: Application of Functions Passed as Arguments" href="ch3/Apply.html"/>
<topic label="Arithm: Arithmetic Operations on Integers" href="ch3/Arithm.html"/>
<topic label="Bit: Bitwise Operations" href="ch3/Bit.html"/>
<topic label="Box: Box Operations" href="ch3/Box.html"/>
<topic label="Class: Predicates for Determining Classes of Symbols" href="ch3/Class.html"/>
<topic label="Compare: Comparison Operations" href="ch3/Compare.html"/>
<topic label="Convert: Data Convertions" href="ch3/Convert.html"/>
<topic label="Dos: Calls to the Operating System" href="ch3/Dos.html"/>
<topic label="StdIO: Standard Input/Output" href="ch3/StdIO.html"/>
<topic label="String: String Operations" href="ch3/String.html"/>
<topic label="Table: Table Operations" href="ch3/Table.html"/>
<topic label="Vector: Vector Operations" href="ch3/Vector.html"/>
</topic>
<topic label="Bibliography" href="ch0/Bib.html"/>
</toc>
