R
RISC
RD
RISCISA
RET
RISCISA
RISC
example
RISC
RISCEncoder
obr
RISCISA
RISC
RISCLabels
obr
RISCNode
RISCTree
RISCProg
RISCTree
RISCTransformation
obr
RISCTree
obr
RaiseException
SECDBase
RaiseStmt
ObrTree
Read
IOOps
RISCTree
AST
RecordOps
secd
RecordType
SymbolTable
SymbolTable
RecordTypeDef
source
RecordTypeValue
RecordOps
RecordTypes
SymbolTable
RecordValue
RecordOps
RecordVar
ObrTree
Reduce
lambda2
ReduceEvaluator
lambda2
ReduceSubst
lambda2
ReduceSubstEvaluator
lambda2
RefTypeValue
HeapOps
RefValue
HeapOps
ReferenceType
SymbolTable
RegNo
RISCISA
RegexParserTests
util
RelationalExpression
source
Rem
IntegerOps
RemW
RISCTree
Remainder
Syntax
Repmin
repmin
RepminBase
repmin
RepminDec
repmin
RepminDecTests
repmin
RepminImpl
repmin
RepminTests
repmin
RepminTestsBase
repmin
Resume
SECDBase
ResumeFromDump
SECDBase
Ret
RISCTree
Return
DataflowAST
Syntax
JVMTree
ReturnStmt
ObrTree
Rewriter
json
RewriterClassTests
rewriting
RewriterTests
rewriting
RewritingEvaluator
lambda2
RewritingTests
json
Root
TIL1_1
Rule
PrologTree
r
Add
Div
Mul
Sub
Binary
And
Assign
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
P
PositionalRewriterTests
PositionedRewriterTests
Two
Two
raiseException
ExceptionHandler
SECDBase
ralf
RewritingTests
SampleCompany
ray
SampleCompany
readProc
SymbolTable
read_statement
TIL1_1
reconstruct
Add
Div
Mul
Neg
Num
Sub
Var
record
CFieldExp
ErrorCheck
reducesinlambdas
Evaluator
InnermostSubstEvaluator
ReduceEvaluator
ReduceSubstEvaluator
reg
RISCEncoder
remoteLookup
NameResolution
rename
ParLazy
Interpreter
repmin
example
RepminBase
RepminImpl
res
Return
research
SampleCompany
reserved
Parser
reservedWords
SyntaxAnalysis
reset
RISCLabels
SymbolTable
resetcode
RISCEncoder
result
MethodBody
SyntaxAnalysis
PicoJavaBenchmark
ret
Return
retType
JVMMethodSpec
returnStm
Parser
returnexpr
Parser
rewriter
Evaluator
MemoRewriterTests
RewriterTests
rewriting
kiama
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
rules
Optimise
run
Optimise
runSemanticChecks
SemanticAnalysisTests
SemanticTests