R
RISC
RD
RISCISA
RET
RISCISA
RISC
example
RISC
RISCEncoder
obr
RISCISA
RISC
RISCLabels
obr
RISCProg
RISCTree
RISCTransformer
obr
RISCTree
obr
RISCTree
RaiseStmt
ObrTree
Read
RISCTree
TILTree
RecordType
SymbolTable
SymbolTable
RecordTypeDef
source
RecordTypes
SymbolTable
RecordVar
ObrTree
Reduce
lambda2
ReduceEvaluator
lambda2
ReduceSubst
lambda2
ReduceSubstEvaluator
lambda2
ReferenceType
SymbolTable
RegNo
RISCISA
RegexParserTests
util
RelationalExpression
source
RemW
RISCTree
Repmin
repmin
RepminBase
repmin
RepminDec
repmin
RepminDecTests
repmin
RepminImpl
repmin
RepminTests
repmin
RepminTestsBase
repmin
RepminTree
repmin
Ret
RISCTree
Return
DataflowTree
JVMTree
ReturnStmt
ObrTree
Rewriter
json
RewriterClassTests
rewriting
RewriterTests
json
rewriting
RewritingEvaluator
lambda2
Root
TIL1_1
Rule
GrammarTree
PrologTree
r
Binary
Add
Div
Mul
Sub
App
AddW
CmpeqW
CmpgtW
CmpltW
CmpneW
DivW
MulW
RemW
SubW
Add
Div
Eq
Mul
Ne
Sub
P
PositionedRewriterTests
Two
ralf
RewriterTests
SampleCompany
ray
SampleCompany
readProc
SymbolTable
read_statement
TIL1_1
reconstruct
Add
Div
Mul
Neg
Num
Sub
Var
record
CFieldExp
reducesinlambdas
Evaluator
InnermostSubstEvaluator
ReduceEvaluator
ReduceSubstEvaluator
reg
RISCEncoder
remoteLookup
NameResolution
rename
ParLazy
Interpreter
repmin
example
RepminBase
RepminImpl
research
SampleCompany
reservedWords
SyntaxAnalyser
reset
RISCLabels
SymbolTable
resetcode
RISCEncoder
result
MethodBody
SyntaxAnalyser
ret
Return
retType
JVMMethodSpec
returnStm
SyntaxAnalyser
rewriter
Evaluator
MemoRewriterTests
RewriterTests
rewriting
kiama
rhs
Rule
right
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
riscPrint
ObrConfig
rootconstexp
NameAnalyser
rootconstexpDef
NameAnalyser
NameAnalyser
TypeAnalyser
rparen
SemanticAnalysisTests
rule
SemanticAnalyser
NonTerminal
rules
Optimiser
Grammar
run
Optimiser
runSemanticChecks
SemanticAnalyserTests