PairTree QuadTree TripleTree ImperativeTests MatchClause MM

AttributionTests DynamicAttributionTests

AttributionTests

Lambda lambda2

SymbolTable

SyntaxAnalysis

TypeAnalyser

SymbolTable

TypeAnalyser

Call ProcDecl BuiltinProc

PrettyPrinter

TypeAnalyser

lambda2

lambda2

Parser

output

lambda2

lambda2

lambda2

lambda2

lambda2

lambda2

lambda2

dataflow Parser imperative compiler SyntaxAnalysis lambda lambda2 lambda3 base Parser L0 L1 L2 L3 L4 SyntaxAnalysis picojava Parser ParsingMain TIL1_1 transform Parser

obr

tests tests

util

til

json

Parser Syntax

RISC

example

benchmark

PositionalRewriterTests

PositionedRewriterTests

PositionedRewriterTests

PositionalRewriterTests

PositionedRewriterTests

PositionedRewriterTests

Syntax

ObrTree

ClosureValue FunctionSpec

PositionalRewriterTests

PositionedRewriterTests

StackOps RISCISA

Parser SyntaxAnalysis PositionedRewriterTests

rewriting

SECDBase

rewriting

ParenPrettyPrinterTests

ImperativeTests

ImperativeTests

ImperativeTests

Driver

TranslatingDriver

TransformingDriver

oneohonecompanies Precedence

picojava

ParenPrettyPrinterTests

PrettyPrinter PrettyPrinting PrettyPrinter

RISCISA

imperative driver json lambda2 c source c source c source source c source c source

output

json

SymbolTable

TIL1_1

AST

AbstractSyntax

Syntax

Parser

SECD SECDBase

SECDBase

SECDBase

Driver

TranslatingDriver

TransformingDriver

Analysis InOp PostOp PreOp

Analysis

CAddExp CAndExp CDivExp CEqExp CGeExp CGtExp CLeExp CLtExp CModExp CMulExp CNeExp CNegExp CNotExp COrExp CSubExp NegExp NotExp ProdExpression RelationalExpression SumExpression CAddrExp CDerefExp InOp PostOp PreOp

source

SymbolTable

Parser

Parser

Driver Imperative ImperativeGen Driver Lambda Lambda Lambda Driver Driver ParserDriver SemanticDriver Main Main ParsingMain TransformingMain Driver CompilerTests GeneratingREPL

Driver TransformingDriver

ConversionOps

ConversionOps

Lambda GeneratingREPL

source

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 BooleanTypeValue Equals FalseValue PushFalse PushTrue Test TrueValue ConversionError ToBoolean ToInt ToString ExnContValue SetHandler Alloc Get Put RefTypeValue RefValue LessThan LessThanOrEqual Add Div DivisionByZero IntTypeValue IntValue Mult PushInt Rem Sub Read Write FieldOutOfBounds Fields GetField MkRecord RecordTypeValue RecordValue UnpackRecord App AppCC BindPrims ClosureTypeValue ClosureValue CodeSegment ContTypeValue ContValue DumpEmpty EmptyCont EmptyTypeValue EmptyValue Enter ExceptionTypeValue Exit FunctionSpec GetType Lookup MalformedInstruction MatchError MkClosures MkUserException NonExistentPrimitive PrimTypeValue PrimValue PushEmpty PushMachineException PushType RaiseException Resume ResumeFromDump StackUnderflow TailApp TypeError TypeTypeValue UnboundVariable UnexpectedExit UnexpectedTermination 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 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 ValMode VarMode 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 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 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

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 BooleanTypeValue Equals FalseValue PushFalse PushTrue Test TrueValue ConversionError ToBoolean ToInt ToString ExnContValue SetHandler Alloc Get Put RefTypeValue RefValue LessThan LessThanOrEqual Add Div DivisionByZero IntTypeValue IntValue Mult PushInt Rem Sub Read Write FieldOutOfBounds Fields GetField MkRecord RecordTypeValue RecordValue UnpackRecord App AppCC BindPrims ClosureTypeValue ClosureValue CodeSegment ContTypeValue ContValue DumpEmpty EmptyCont EmptyTypeValue EmptyValue Enter ExceptionTypeValue Exit FunctionSpec GetType Lookup MalformedInstruction MatchError MkClosures MkUserException NonExistentPrimitive PrimTypeValue PrimValue PushEmpty PushMachineException PushType RaiseException Resume ResumeFromDump StackUnderflow TailApp TypeError TypeTypeValue UnboundVariable UnexpectedExit UnexpectedTermination 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 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 ValMode VarMode 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 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 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

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 BooleanTypeValue Equals FalseValue PushFalse PushTrue Test TrueValue ConversionError ToBoolean ToInt ToString ExnContValue SetHandler Alloc Get Put RefTypeValue RefValue LessThan LessThanOrEqual Add Div DivisionByZero IntTypeValue IntValue Mult PushInt Rem Sub Read Write FieldOutOfBounds Fields GetField MkRecord RecordTypeValue RecordValue UnpackRecord App AppCC BindPrims ClosureTypeValue ClosureValue CodeSegment ContTypeValue ContValue DumpEmpty EmptyCont EmptyTypeValue EmptyValue Enter ExceptionTypeValue Exit FunctionSpec GetType Lookup MalformedInstruction MatchError MkClosures MkUserException NonExistentPrimitive PrimTypeValue PrimValue PushEmpty PushMachineException PushType RaiseException Resume ResumeFromDump StackUnderflow TailApp TypeError TypeTypeValue UnboundVariable UnexpectedExit UnexpectedTermination 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 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 ValMode VarMode 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 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 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

DataflowForTests DataflowTests

SyntaxAnalysis AbstractSyntax Parser AST TIL1_1 AST Parser

Imperative Lambda Lambda Lambda GeneratingREPL

CCall

RISCISA

RISCISA

PositionalRewriterTests

PositionedRewriterTests

PositionedRewriterTests

Company

SECDBase

BooleanOps

IntegerOps

SECDBase

StringOps

BooleanOps

SECDBase

HeapOps

PrettyPrinterTests