Lam Let EquivQuery EvalQuery FreeNamesQuery FreshQuery Query SubstQuery SwapQuery Cond Cond For IfElse IfThen MM PositionalRewriterTests PositionedRewriterTests

FunType

FunType

SECDBase

RISCISA

TreeTestDriver

TestDriver A1Phases A2aPhases A2bPhases A3Phases A4Phases

Parser Parser SyntaxAnalysis TIL1_1

Parser

Parser

Parser

Parser

BooleanOps

imperative lambda

util

base

SupportPositionalRewriterTests SupportPositionedRewriterTests

iswim obr picojava util

Comment

IfStmt

If

Syntax

Parser

example

til

til

til

til

til

til

til

til

til

til

til

til

Syntax

Analysis CVarDecl TypeDecl VarDecl IntegerValue UserType Variable TypeAnalyser FPSection ParamInfo ArrayTypeDef FieldList Field SemanticAnalysis Constant Entity Variable TypeAnalysis

Analysis

TypeAnalyser TypeAnalyser

ConversionOps

SECDBase CodeTree

Test CodeSegment FunctionSpec MkClosures CPrettyPrinter PrettyPrinter PrettyPrinter SourcePrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter PVal

ConversionOps

PrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter PrettyPrinter ParenPrettyPrinterTests

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 Add Div Mul Neg Num Sub Var 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 BooleanTypeValue Equals FalseValue PushFalse PushTrue Test TrueValue ToBoolean ToInt ConversionOps ToString ExnContValue SetHandler Alloc Get Put RefTypeValue RefValue LessThan LessThanOrEqual Add Div IntTypeValue IntValue Mult PushInt Rem Sub Read Write Fields GetField MkRecord RecordTypeValue RecordValue UnpackRecord App AppCC BindPrims ClosureTypeValue ClosureValue CodeSegment ContTypeValue ContValue EmptyCont EmptyTypeValue EmptyValue Enter ExceptionTypeValue Exit FunctionSpec GetType Lookup MachineExceptionValue MkClosures MkUserException PrimTypeValue PrimValue PushEmpty PushMachineException PushType RaiseException Resume ResumeFromDump TailApp TypeTypeValue Dup Pop Swap PushString StringTypeValue StringValue UserExceptionValue JArray JFalse JName JNull JNumber JObject JString JTrue App Lam Num Sub Var AddOp App Bind FunType IntType Lam Let Letp Num Opn SubOp 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 CIfElseStatement CIfStatement CWhileStatement IfStatement WhileStatement Case CaseStatement ForStatement MinMaxCond ValCond CAddrExp CAddrType CCall CDerefExp CStrExp CVoidType Call FPSection ProcDecl ValMode VarMode ParamInfo 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 Ret SPARC StW SubW Write ArrayType BoolType Constant EnumType EnumTypes ExnType IntType Multiple RecordType RecordTypes Unknown UnknownType 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 Branch 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 WRL 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 Equal NotSame Same Leaf One Two Leaf One Two Node Tup2 Tup3 Tup4 Tup5 Tup6

Rewriter oneohonecompanies Total

SwapQuery

Parser

Transformer Desugarer Desugarer Lifter TIL2_1 TIL2_2 TIL2_3 TransformingMain example

base

util

base

til

transform

CCodeGenerator Translator CCodeGenerator CCodeGenerator CCodeGenerator CCodeGenerator

CCodeGenerator CCodeGenerator

CCodeGenerator

CCodeGenerator CCodeGenerator

CCodeGenerator

base

base

base

RewriterTests

AttributionTests DynamicAttributionTests repmin

obr

AttributionTests

If

SymbolTable

BooleanOps

ObrTree

SyntaxAnalysis

ObrTree

CIfElseStatement CIfStatement

Parser

Parser

ParserUtilitiesTests

ParserUtilitiesTests

ParserUtilitiesTests

ParserUtilitiesTests

ParserUtilitiesTests

Syntax

Parser

SupportPositionalRewriterTests SupportPositionedRewriterTests

PushType

AST SymbolTable SymbolTable VarDecl

L0 L1 L2 L3 L4

picojava

SymbolTable

TypeAnalyser

Lambda

Parser source AbstractSyntax

Parser

Parser source

Parser Parser

SECDBase

SECDBase

SECDBase