S
MemoRewriterTestsSupport
SECD
driver
SECDBase
secd
SECDTests
tests
SP
RISC
SPARC
SPARCTree
SPARCEncoder
obr
SPARCNode
SPARCTree
SPARCTransformation
obr
SPARCTree
obr
STB
RISCISA
STW
RISCISA
SUB
RISCISA
SUBI
RISCISA
Salary
Company
Same
RewriterTests
SampleCompany
oneohonecompanies
SemanticAnalysis
compiler minijava obr prolog
SemanticAnalysisTests
tests
SemanticDriver
obr
SemanticTestDriver
prolog
SemanticTestParser
minijava
SemanticTests
minijava prolog
Seqn
AST
SequenceDatum
RISCTree
SetHandler
ExceptionHandler
SetTree
AttributionTests
SlashExp
ObrTree
SourceASTNode
source
SourceNode
MiniJavaTree PrologTree
SourcePrettyPrinter
source
StW
RISCTree SPARCTree
Stack
SECDBase
StackOps
secd
StackUnderflow
SECDBase
Stacks
Analysis
StarExp
MiniJavaTree ObrTree
Stat
AST
Statement
MiniJavaTree source ObrTree
Stm
DataflowAST
Stmt
AST Syntax AbstractSyntax
Str
AST
StringOps
secd
StringTypeValue
StringOps
StringVal
Syntax
StringValue
StringOps
Sub
AST ASTNonCase IntegerOps AST AST
SubExp
source
SubOp
AST
SubUnit
Company
SubW
RISCTree SPARCTree
Subst
prolog
SubstQuery
AST
SumExpression
source
Superclass
ClassDecl
SupportPositionalRewriterTests
rewriting
SupportPositionedRewriterTests
rewriting
Swap
StackOps
SwapQuery
AST
SymbolTable
minijava L0 L3 L4 base obr prolog
Syntax
compiler
SyntaxAnalysis
json minijava obr prolog
s
AttributionTests SetTree Var Var Pos StringVal Variable ExnContValue ContValue PushString StringValue JName EagerSubst InnermostSubst LazySubst ParEagerSubst ParLazyShare ParLazySubst ParLazyUpdate Reduce ReduceSubst RewritingEvaluator CCall CStrExp CInclude Pos Employee Atom Pred Var Id Str MM
s1
DataflowForTests DataflowTests
s2
DataflowForTests DataflowTests
s3
DataflowForTests DataflowTests
s4
DataflowForTests DataflowTests
s41
DataflowForTests DataflowTests
s411
DataflowForTests DataflowTests
s412
DataflowForTests DataflowTests
s5
DataflowForTests DataflowTests
salary
Other
same
Tests
sanitise
TestDriver TestCompiler
sayReg
RISCISA
secd
iswim
section
CompilerDriver
semisep
PrettyPrinter
sequence
Parser
setEvaluator
Evaluators
setup
DataflowFor DataflowForeach Imperative Lambda Lambda Lambda GeneratingREPLBase
show
PrettyPrinter PrettyPrinting PrettyPrinter PrettyPrinter
showPair
PrettyPrinting
showbin
PrettyPrinter
signed
SyntaxAnalysis
simpexp
Parser
simplexp
SyntaxAnalysis
size
ArrayType ArrayTypeDef CArrayType ArrayVar ArrayType
source
ClassFile L0 L1 L2 L3 L4 base
spec
InvokeSpecial InvokeVirtual JVMMethod
spillEnvirFlag
Driver
spillRISCAssemFlag
Driver
spillTargetTreeFlag
Driver
ss
Seqn Program
stack
SECDBase
stackChange
Aload Areturn ArrayLength Astore Bipush Dup GetField GetStatic Goto Iadd Iaload Iastore Iconst_0 Iconst_1 Iconst_2 Iconst_3 Iconst_4 Iconst_5 Iconst_m1 If_icmpge Ifeq Ifne Iload Imul InvokeSpecial InvokeVirtual Ireturn Istore Isub JVMInstr Label Ldc New NewArray PutField Return
start
Parser Parser Parser Parser Parser PicoJavaBenchmark Main
statement
SyntaxAnalysis Parser SyntaxAnalysis TIL1_1
statementDef
Parser Parser Parser Parser Parser
statementSequence
Parser
statements
Parser
statementseq
SyntaxAnalysis
step
Parser
stm
Parser
stms
Block
stmt
Parser MainClass While CWhileStatement Parser
stmt1
If
stmt2
If
stmts
Block CBlock Block Catch ObrInt TryBody
storage
ArrayType BoolType EnumType ExnType IntType RecordType Type
string
SyntaxAnalysis TIL1_1
su
Dept
subsApp
Par ReduceSubst
subsLam
Par ReduceSubst
subsNum
Par ReduceSubst
subsOpn
Par ReduceSubst
subsVar
Par ParLazy ReduceSubst
substitute
Evaluator
succ
ControlFlow ControlFlowImpl
sumleafDef
DynamicAttributionTests
superClass
TypeAnalysis
superclass
Class
superclassname
ClassFile