ListTree Add Div Mul Sub Binary And Divide Equal Greater GreaterEq Less LessEq Minus NotEqual Or Plus Remainder Times App AddW CmpeqW CmpgtW CmpltW CmpneW DivW MulW RemW SubW AddW CmpeqW CmpgtW CmpltW CmpneW DivW MulW RemW SubW Add Div Eq Mul Ne Sub PrettyPrinterTests Two Two

oberon0

oberon0 PrettyPrinterTests PositionalRewriterTests PositionedRewriterTests

oberon0 PrettyPrinterTests PositionalRewriterTests PositionedRewriterTests

oberon0 PrettyPrinterTests

oberon0

LabelDef LabelDef

RISCTree SPARCTree BEQ BGE BGT BLE BLT BNE BR Branch BSR Target

RISCTree SPARCTree

AST AST AST

Syntax example lambda lambda2 Par ReduceSubst lambda3

example

example

Parser

lambda

lambda lambda2 lambda3

TestDriver A1Phases A2aPhases A2bPhases A3Phases A4Phases

lambda2

lambda2

RISCISA

RISCTree SPARCTree RISCISA

AttributionTests DynamicAttributionTests repmin ParenPrettyPrinterTests SupportPositionalRewriterTests SupportPositionedRewriterTests

source

Pair Pair Assign CAddExp CAndExp CDivExp CEqExp CGeExp CGtExp CLeExp CLtExp CModExp CMulExp CNeExp COrExp CSubExp AddExp AndExp BinaryExpression DivExp EqExp GeExp GtExp LeExp LtExp ModExp MulExp NeExp OrExp SubExp AndExp AssignStmt EqualExp GreaterExp LessExp MinusExp ModExp NotEqualExp OrExp PlusExp SlashExp StarExp MatchGoal UnifyGoal Fork BinExp BinExpR InOp

Syntax

Syntax

ObrTree

IntComparisonOps

IntComparisonOps

Syntax AST

ParLazy

ParLazy

Parser

Par

ParLazy

ParLazy

ParLazy

AST

Syntax

Parser

Parser Syntax

Parser Syntax

NameAnalyser

Parser

Parser Parser

L2

TestPosition TestPosition

SyntaxAnalysis

SyntaxAnalysis

AttributionTests

SymbolTable

Parser

PrologTree SyntaxAnalysis

SyntaxAnalysis

dataflow

dataflow

RISC

RISCTree SPARCTree

NameResolution

RepminBase

Entity Variable

SECDBase Analysis NameResolution Analysis

Par

ObrTree

ForStatement

source

SyntaxAnalysis