L0
oberon0
L1
oberon0
L2
oberon0
L3
oberon0
L4
oberon0
LDB
RISCISA
LDW
RISCISA
LNK
RISC
Label
RISCISA JVMTree RISCTree
LabelDef
RISCTree
Lam
AST AST AST
Lambda
Syntax lambda lambda2 lambda3
LambdaConfig
lambda2
LambdaGen
lambda
LambdaTests
lambda lambda2 lambda3
LazySubst
lambda2
LazySubstEvaluator
lambda2
LdW
RISCTree
Ldc
JVMTree
LeExp
source
Leaf
AttributionTests DynamicAttributionTests repmin ParenPrettyPrinterTests SupportPositionalRewriterTests SupportPositionedRewriterTests
LengthExp
MiniJavaTree
Less
Syntax
LessEq
Syntax
LessExp
MiniJavaTree ObrTree
LessThan
IntComparisonOps
LessThanOrEqual
IntComparisonOps
Let
Syntax AST
LetRec
Syntax
LetRecStmt
Syntax
LetStmt
Syntax
Letp
AST
Lifter
L2
ListTree
AttributionTests
ListType
SymbolTable
Literal
PrologTree
Liveness
dataflow
LivenessImpl
dataflow
Local
RISCTree
Lookup
SECDBase
LoopStmt
ObrTree
LtExp
source
l
AttributionTests 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 Add Div Eq Mul Ne Sub PrettyPrinterTests P Two Two
l1
PrettyPrinterTests PositionalRewriterTests PositionedRewriterTests
l2
PrettyPrinterTests PositionalRewriterTests PositionedRewriterTests
l3
PrettyPrinterTests
lab
LabelDef
label
BEQ BGE BGT BLE BLT BNE BR BSR Branch Target Goto If_icmpge Ifeq Ifne Label
lambda
example Par ReduceSubst
lambda2
example
lambda3
example
lambdaexpr
Parser
langlevel
TestDriver A1Phases A2aPhases A2bPhases A3Phases A4Phases
lasttemp
RISCEncoder
leafComputed
Definitions
leafComputedDef
Definitions
left
Pair Pair Assign AndExp BinaryExpression LessExp MinusExp PlusExp StarExp 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
letAppL
ParLazy
letDrop
ParLazy
letLet
Par
letLetRen
ParLazy
letLift
ParLazy
letOpn
ParLazy
letexpr
Parser
letrecexpr
Parser
letrecstmt
Parser
letstmt
Parser
level
NameAnalyser
lhs
Parser
lhsDef
Parser Parser
lineContents
TestPosition TestPosition
list
SyntaxAnalysis
listterms
SyntaxAnalysis
liter
Parser
literal
SyntaxAnalysis
literals
SyntaxAnalysis
loc
Aload Astore Iload Istore
localLookup
NameResolution
location
RISCTransformation
locmin
RepminBase
locn
Entity Variable
lookup
Analysis NameResolution Analysis
lookupb
Par
lower
ForStatement
lvalue
SyntaxAnalysis