Exams

Question 1

Answer 1

Question 2

Answer 2

Question 3

Answer 3

Question 4

Write type checking rules for the following statements

• SDecl
• SExp
• SWhile
• SBlock

Answer 4

Question 5

Write compilation schemes for the following expressions

• EVar
• EInt
• EAss
• EPreIncr
• EGEq

Answer 5

Question 6

• idc a
• iload x
• istore x
• pop
• iadd
• if_cmpge L

Answer 6

Question 7

• idc a
• iload x
• istore x
• pop
• dup
• iadd
• if_cmpge L

Answer 7

Question 8

Answer 8

Question 9

• SDecl
• SExp
• SWhile
• SBlock
• SNil
• SCons

Answer 9

Question 10

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

Answer 10

Question 11

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

Answer 11

Question 12

Answer 12

Question 13

Answer 13

Question 14

Answer 14

Question 15

Answer 15

Question 16

Answer 16

Question 17

Write syntax-directed type checking rules for the expressions below. The typing enviroment must be made explicit

• ESub
• EMul
• EPreIncr
• ECall
• EPar

Answer 17

Question 18

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

Answer 18

Question 19

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

Answer 19

Question 20

JVM instructions

• Idc a
• iload x
• istore x
• isub
• imul
• invokestatic f
• ireturn

Answer 20

Question 21

Answer 21

(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)

Question 22

Answer 22

Question 23

Answer 23

Question 24

Answer 24

Question 25

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

Answer 25

Question 26

Compilation scheme * Statements * SExp; * SDecl * SWhile * Expression * EInt * EId * ECall * EAdd * EMul * ELt * EAss * EParenth

Answer 26

Question 27

Write JVM instructions for following * goto *L* * ifeq *L* * if\_icmpl *L* * iload a * istore *a* * idc *a* * imul * iadd * pop * invokestatic *m*

Answer 27

Question 28

Answer 28

(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

Question 29

Write interpreation rule for "*if statement*"

Answer 29

Question 30

Write interpretation rules for * EPreIncr * EPostIncr

Answer 30

Question 31

Write interpreation rules for * EAss

Answer 31

Question 32

Write interpetation rules * EInt * EVar * EPreIncr * EGeq * EAss

Answer 32

Question 33

Answer 33

Question 34

Answer 34

Question 35

Answer 35

Question 36

Write type checking rules * SDecl * SExp * SIfElse * SBlock

Answer 36

Question 37

Write interpretation rules * ETrue * EFalse * EInt * EPostIncr * ECall * EPlus

Answer 37

Question 38

Write compilation scheme * ETrue * EFalse * EInt * ECall * EPostIncr * EPlus * SInit * SExp * SIfElse * SBlock

Answer 38

Question 39

Write JVM instructions * Goto L * ifreq L * iload a * istore a * idc i * iadd * dup * pop * invokestatic m

Answer 39

Question 40

Answer 40

Question 41

Answer 41

Question 42

Answer 42

Question 43

Answer 43

Question 44

Write type checking rules * SBlock * SDecl * SExp * SWhile

Answer 44

Question 45

Write interpretation rules * EInt * EID * EAdd * ELt * EAss

Answer 45

Question 46

Write compilation scheme * EInt * EID * EAss * EAdd * ELt * SDecl * SExp * SWhile * SBlock

Answer 46

Question 47

Write JVM instructions * goto L * ifeq L * if\_icmplt L * iload a * istore a * idc i * iadd * pop

Answer 47

Question 48

Answer 48

Question 49

Answer 49

Question 50

Answer 50

Question 51

Answer 51

Question 52

Write type checking rules for * SBlock * SInit * SReturn * SIfElse

Answer 52

Question 53

Write interpretation rules for following expressions * EId * EInt * EPlus * ELt * EAnd

Answer 53

Question 54

Write Jasmin code for the following

Answer 54

Question 55

Answer 55

Question 56

Finite automate for following regular expressions a ab (a+b) (a+b)\*

Answer 56

Question 57

Convert following regular expression to DFA (ab + ba)\*

Answer 57

Question 58

Write a regular expression for 10 + (0 + 11)0\* 1

Answer 58

Question 59

Knowledge gained from previous exam

Answer 59