Scribd
Upload
1K views

Assignment - 8 - Compiler Design

This document contains a 10 question multiple choice quiz about compiler design and type checking. The questions cover topics such as type checking semantics, type expressions for function arguments, array bound checking, type equivalence, type of statements, static vs dynamic type checking, strong vs weak typing, and type casting. The correct answers are provided.

Uploaded by

dheena thayalan
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
1K views

Assignment - 8 - Compiler Design

This document contains a 10 question multiple choice quiz about compiler design and type checking. The questions cover topics such as type checking semantics, type expressions for function arguments, array bound checking, type equivalence, type of statements, static vs dynamic type checking, strong vs weak typing, and type casting. The correct answers are provided.

Uploaded by

dheena thayalan
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

NPTEL Online Certification Courses Indian

Institute of Technology Kharagpur

Compiler Design
Assignment- Week 8
TYPE OF QUESTION:MCQ
Number ofquestions:10 Total mark: 10 X 1 = 10

1. Type checking checks the input

a) Lexically
b) Semantically
c) Syntactically
d) All the other options
Ans: b)

2. If the arguments passed to a function call are such that the first and the third
arguments are integers while the second one is real, the type expression for the
argument list can be

a) Integer X Integer X Real


b) Real X Integer X Integer
c) Integer X Real X Integer
d) None of the other options
Ans: c)

3. Array bound check can be done

a) Statically
b) Dynamically
c) Both statically and dynamically
d) None of the other options
Ans: b)

4. Type equivalence checks whether

a) Two types expressions are same or not


b) Two expressions are same or not
c) Two statements are same or not
d) All of the other options
Ans: a)

5. Type of a statement is

a) Void
b) Type error
c) Void or type error
d) None of the other options
Ans: c)

6. Type checking done by the compiler is

a) Static
b) Dynamic
c) Both static and dynamic
d) None of the other options
Ans: a)

7. Most programming languages are weakly typed since

a) Such languages put less constraints on the programmer


b) Some type errors can be caught dynamically
c) Both of the other options
d) None of the other options
Ans: c)

8. For strongly-typed languages

a) Only static type checking is done


b) Only dynamic checking is done
c) Both static and dynamic checking are done
d) No type of checking is done
Ans: a)

9. Type casting available in many programming languages is an example of

a) Type checking
b) Type coercing
c) Type manipulation
d) None of the given options
Ans: b)

10. The type expression (Integer X Real)  (Integer  Real) corresponds to

a) A function that takes an integer and a real as arguments and returns an integer
and a real
b) A function that takes an integer and a real as arguments and returns a real
c) A function that takes an integer and a real as arguments and returns an integer
d) A function that takes an integer and a real as arguments and returns a function
that takes an integer and returns a real
Ans: d)

END of Assignment

You might also like