Asgn Neg While Neg Apply Assign Binding CallCC ExprStmt If MatchClause MkRef Negate Not ThrowTo Val ExnContValue ContValue Lam Bind Lam Letp EvalQuery FreeNamesQuery FreshQuery SwapQuery CReturn CInitDecl PU Assign IfElse IfThen While Write

App Let Opn App EquivQuery SubstQuery

App Let Opn App EquivQuery SubstQuery

lambda2

lambda2

CArrayType ArrayType

Optimise

Optimise

If

IfStmt

Parser

Parser IfStatement

Company

DataflowAST Syntax OneOhOneTests

SECDBase

Parser

source

SECDBase

SECDBase

RISCEncoder SPARCEncoder

SECDBase

NameAnalyser SemanticAnalysis SymbolTable

NameAnalyser NameAnalyser TypeAnalyser

ObrTree AST

ObrTree

SemanticAnalysis

ObrExecTests

ObrExecTests

SymbolTable

SymbolTable

ObrTree

Analysis NameAnalyser SemanticAnalysis

NameAnalyser NameAnalyser

NameAnalyser

SemanticAnalysis SECDBase ClosureValue

SECDBase SymbolTable

SemanticAnalysis

NameAnalyser NameAnalyser SemanticAnalysis

NameAnalyser

AST

source

Syntax RewriterTests

ObrTree

GenSeqTree Leaf ListTree MapTree Pair PairTree QuadTree SetTree TripleTree Unused Leaf Pair Unused Assign Block Empty If Return While For Foreach Add Asgn Div Mul Neg Null Num Seqn Sub Var While Pos And Apply Assign Binding Block BoolVal CallCC Divide Empty Equal ExprStmt Greater GreaterEq If Import IswimProg Lambda Less LessEq Let LetRec LetRecStmt LetStmt Match MatchClause Minus MkRef Negate Not NotEqual NumVal Or Pattern Plus Primitives Remainder Return StringVal ThrowTo Times Tuple Val Variable While BooleanOps Equals PushFalse PushTrue Test ToBoolean ToInt ToString ExnContValue SetHandler Alloc Get Put RefValue LessThan LessThanOrEqual Add Div IntValue Mult PushInt Rem Sub Read Write Fields GetField MkRecord RecordValue UnpackRecord App AppCC BindPrims ClosureValue CodeSegment ContValue Enter Exit FunctionSpec GetType Lookup MkClosures MkUserException PrimValue PushEmpty PushMachineException PushType RaiseException Resume ResumeFromDump TailApp Dup Pop Swap PushString StringValue UserExceptionValue JArray JFalse JName JNull JNumber JObject JString JTrue App Lam Num Sub Var App Bind FunType Lam Let Letp Num Opn Var App EquivQuery EvalQuery FreeNamesQuery FreshQuery Lam Num SubstQuery SwapQuery Var CArrayType CBlock CEmptyStmt CFunctionDecl CInclude CIntExp CIntType CProgram CReturn CStrType CVarDecl Block EmptyStmt IdnDef IdnUse ModuleDecl CAddExp CAndExp CAssignment CDivExp CEqExp CGeExp CGtExp CIdnExp CInitDecl CLeExp CLtExp CModExp CMulExp CNamedType CNeExp CNegExp CNotExp COrExp CSubExp CTypeDef AddExp AndExp Assignment ConstDecl DivExp EqExp GeExp GtExp IdnExp IntExp LeExp LtExp ModExp MulExp NamedType NeExp NegExp NotExp OrExp SubExp TypeDecl VarDecl BuiltinType Constant IntegerValue Module UserType Variable CIfElseStatement CIfStatement CWhileStatement IfStatement WhileStatement Case CaseStatement ForStatement MinMaxCond ValCond CAddrExp CAddrType CCall CDerefExp CStrExp CVoidType Call FPSection ProcDecl BuiltinProc Parameter ParamInfo Procedure CFieldExp CIndexExp CRecordType ArrayTypeDef FieldExp FieldIdn FieldList IndexExp RecordTypeDef ArrayType Field RecordType AndExp ArrayVar AssignStmt BoolExp BoolVar Catch EnumConst EnumVar EqualExp ExitStmt ExnConst FieldExp ForStmt GreaterExp IdnExp IfStmt IndexExp IntConst IntExp IntParam IntVar LessExp LoopStmt MinusExp ModExp NegExp NotEqualExp NotExp ObrInt OrExp PlusExp RaiseStmt RecordVar ReturnStmt SlashExp StarExp TryBody TryStmt WhileStmt AddW Beq Bne CmpeqW CmpgtW CmpltW CmpneW Cond DivW Indexed IntDatum Jmp Label LabelDef LdW Local MulW NegW Not Read RemW Ret RISCProg SequenceDatum StW SubW Write AddW Beq Bne CmpeqW CmpgtW CmpltW CmpneW Cond DivW Indexed IntDatum Jmp Label LabelDef LdW Local MulW NegW Not Read RemW SPARC StW SubW Write ArrayType Constant EnumType RecordType Variable Pos Company Dept DU Employee PU AssignStmt Block BooleanLiteral ClassDecl Dot PrimitiveDecl Program UnknownDecl Use VarDecl WhileStmt Fork Leaf ADD ADDI AND ANDI BEQ BGE BGT BLE BLT BNE BR BSR CHKI CMP CMPI Comment DIV DIVI LDB LDW MOD MODI MOV MOVI MUL MULI MVN MVNI OR ORI POP PSH RD RET STB STW SUB SUBI Target WRD WRH XOR XORI Add Assign Decl Div Eq For Id IfElse IfThen Mul Ne Num Program Read Str Sub Var While Write BinExp BinExpR Factor Num Program Var VarDecl InOp Leaf PostOp PreOp Val A C D Leaf One Two Leaf One Two Node Tup2 Tup3 Tup4 Tup5 Tup6

AST

SampleCompany

picojava

SemanticAnalysis ErrorCheck Analysis

tests

Block

CIfElseStatement

AddOp Op SubOp Evaluator RewritingEvaluator

Analysis

BooleanOps ConversionOps ExceptionHandler HeapOps IntComparisonOps IntegerOps IOOps RecordOps SECDBase StackOps StringOps

AST

LambdaTests

lambda lambda2 Evaluators lambda3

lambda2

RewriterTests

kiama

secd

ObrExecTests

ObrExecTests

SECDBase

SECDBase

Driver

SECDBase

EquivQuery EvalQuery FreeNamesQuery FreshQuery Query SubstQuery SwapQuery RISC

SECDBase

RISCEncoder

ObrTree

ObrTree

SemanticAnalysis

ExceptionHandler

SymbolTable

Parser AST ASTNonCase Parser AST Parser AST Parser AST Parser CAssignment CNegExp CNotExp Assignment ConstDecl NegExp NotExp UnaryExpression CaseStatement CAddrExp CDerefExp IndexExp NegExp NotExp AbstractSyntax Parser AST AST Factor Parser ParenPrettyPrinterTests PostOp PreOp

Parser

Parser

Parser

NameAnalyser

LambdaTests

RewriterTests

Tests

LambdaTests

LambdaTests

LambdaTests

Tests

Parser Syntax AST Program

Parser source ObrTree SyntaxAnalysis TIL1_1

Parser Syntax

SemanticAnalysis

TypeAnalyser

TypeAnalyser TypeAnalyser TypeAnalyser TypeAnalyser TypeAnalyser