Exams Flashcards
Write type checking rules for the following statements
- SDecl
- SExp
- SWhile
- SBlock
Write compilation schemes for the following expressions
- EVar
- EInt
- EAss
- EPreIncr
- EGEq
- idc a
- iload x
- istore x
- pop
- iadd
- if_cmpge L
- idc a
- iload x
- istore x
- pop
- dup
- iadd
- if_cmpge L
- SDecl
- SExp
- SWhile
- SBlock
- SNil
- SCons
Write syntax directed interpretation rules for the expression forms above. The environment must be made explicit, as well as all possible side effects.
- EId
- EInt
- EPostIncr
- ELeq
- EAss
Write compilation schmes in pseudo code for each of the expression constructions above generating JVM (i. asmin assembler). It is not necessary to remember exactly the names of the instructions - only what arguments they take and how they work.
- EId
- EInt
- EPostIncr
- ELeq
- EAss
Write syntax-directed type checking rules for the expressions below. The typing enviroment must be made explicit
- ESub
- EMul
- EPreIncr
- ECall
- EPar
Write syntax directed interpretation rules for the statements forms and lists below. The environment must be made explicit, as well as all possible side effects. You can assume an interpreter for expressions
- SBlock
- SInit
- SReturn
Write compilation schemes in pseudo-code for each of the grammer constructions in. The compiler shoul output symbolic JVM instructions (i.e Jasmin assembler). It is not necessary to remember exactly the ames of the instructions - only what arguments they take and how they work.
- Statements
- SBlock
- SInit
- SReturn
- Types
- Int
- Expressions
- EInt
- ESub
- EMul
- EPreIncr
- ECall
- EPar
JVM instructions
- Idc a
- iload x
- istore x
- isub
- imul
- invokestatic f
- ireturn
(a) not valid (f is unbound)
(b) valid
(c) valid
(d) not valid (g does not have a function type)
(e) not valid (self application x x is not typable)
Write syntax-directed typing rules for the expression below. In any case, the environemnt must be made explicit
- EInt
- EId
- ECall
- EAdd
- EMul
- Elt
- Eass
- EParenth
Compilation scheme
- Statements
- SExp;
- SDecl
- SWhile
- Expression
- EInt
- EId
- ECall
- EAdd
- EMul
- ELt
- EAss
- EParenth
Write JVM instructions for following
- goto L
- ifeq L
- if_icmpl L
- iload a
- istore a
- idc a
- imul
- iadd
- pop
- invokestatic m
(a) valid
(b) not valid (h is not a function, cannot apply it to 1)
(c) not valid (g + 1 is not a function)
(d) valid
(e) valid
Write interpreation rule for “if statement”
Write interpretation rules for
- EPreIncr
- EPostIncr
Write interpreation rules for
- EAss
Write interpetation rules
- EInt
- EVar
- EPreIncr
- EGeq
- EAss
Write type checking rules
- SDecl
- SExp
- SIfElse
- SBlock
Write interpretation rules
- ETrue
- EFalse
- EInt
- EPostIncr
- ECall
- EPlus
Write compilation scheme
- ETrue
- EFalse
- EInt
- ECall
- EPostIncr
- EPlus
- SInit
- SExp
- SIfElse
- SBlock
Write JVM instructions
- Goto L
- ifreq L
- iload a
- istore a
- idc i
- iadd
- dup
- pop
- invokestatic m
Write type checking rules
- SBlock
- SDecl
- SExp
- SWhile
Write interpretation rules
- EInt
- EID
- EAdd
- ELt
- EAss
Write compilation scheme
- EInt
- EID
- EAss
- EAdd
- ELt
- SDecl
- SExp
- SWhile
- SBlock
Write JVM instructions
- goto L
- ifeq L
- if_icmplt L
- iload a
- istore a
- idc i
- iadd
- pop
Write type checking rules for
- SBlock
- SInit
- SReturn
- SIfElse
Write interpretation rules for following expressions
- EId
- EInt
- EPlus
- ELt
- EAnd
Write Jasmin code for the following
Finite automate for following regular expressions
a
ab
(a+b)
(a+b)*
Convert following regular expression to DFA
(ab + ba)*
Write a regular expression for
10 + (0 + 11)0* 1
Knowledge gained from previous exam
