L0
oberon0
L1
oberon0
L2
oberon0
L3
oberon0
L4
oberon0
LDB
RISCISA
LDW
RISCISA
LNK
RISC
Label
RISCISA JVMTree RISCTree
LabelDef
RISCTree
Lam
LambdaTree LambdaTree LambdaTree
Lambda
lambda lambda2 lambda3
LambdaConfig
lambda2
LambdaGen
lambda
LambdaTests
lambda lambda2 lambda3
LambdaTree
lambda lambda2 lambda3
LazySubst
lambda2
LazySubstEvaluator
lambda2
LdW
RISCTree
Ldc
JVMTree
LeExp
source
Leaf
AttributionTests DynamicAttributionTests repmin ParenPrettyPrinterTests SupportPositionedRewriterTests
LengthExp
MiniJavaTree
LessExp
MiniJavaTree ObrTree
Let
LambdaTree
Letp
LambdaTree
Lifter
L2
ListTree
AttributionTests
ListType
SymbolTable
Literal
PrologTree
Liveness
dataflow
LivenessImpl
dataflow
Local
RISCTree
LoopStmt
ObrTree
LtExp
source
l
AttributionTests ListTree Binary Add Div Mul Sub App AddW CmpeqW CmpgtW CmpltW CmpneW DivW MulW RemW SubW Add Div Eq Mul Ne Sub PrettyPrinterTests P Two
l1
PrettyPrinterTests PositionedRewriterTests
l2
PrettyPrinterTests 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
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
level
NameAnalyser
lhs
Rule SyntaxAnalyser
lhsDef
SyntaxAnalyser SyntaxAnalyser
list
SyntaxAnalyser
listterms
SyntaxAnalyser
literal
SyntaxAnalyser
literals
SyntaxAnalyser
loc
Aload Astore Iload Istore
localLookup
NameResolution
location
RISCTransformer
locmin
RepminBase
locn
RISCTransformer Variable
lookup
Analyser NameResolution SemanticAnalyser
lookupb
Par
lower
ForStatement
lparen
SemanticAnalysisTests
lvalue
SyntaxAnalyser