Type Checking

TYPE CHECKING

Type checking is a program analysis that verifies something about the types that are used in the program.

Type checking could happen at compile-time or at run-time.

There is two types of type checking:

1. Static type checking
2. Dynamic type checking

1) Static type checking: When variable data type is defined.

For example, in Java

int age = 20;

It is performed at compile time.

2) Dynamic type checking: When variable data type is not defined.

For example, in Python

age = 20;

It is performed at run time.

Click here to view at YouTube

Principles of Programming Languages:

EasyExamNotes.com covered following topics in these notes.

• Language Evaluation Criteria
• Influences on Language Design 
• Language Categories
• Programming Paradigms
• Compilation
• Virtual Machines 
• Programming Environments
• Issues in Language Translation
• Parse Tree 
• Pointer and Reference type
• Concept of Binding
• Type Checking
• Strong typing 
• Sequence control with Expression
• Exception Handling 
• Subprograms
• Fundamentals of sub-programs
• Scope and lifetime of variable
• static and dynamic scope
• Design issues of subprogram and operations
• Local referencing environments
• Parameter passing methods
• Overloaded sub-programs
• Generic sub-programs 
• Design issues for functions 
• co routines 
• Abstract Data types
• Abstraction and encapsulation
• Static and Stack-Based Storage management
• Garbage Collection
• OOP in C++
• OOP in Java 
• OOP in C# 
• OOP in PHP
• Concurrency
• Semaphores 
• Monitors
• Message passing
• Java threads 
• C# threads 
• Exception handling 
• Exceptions
• Exception Propagation 
• Exception handler in C++ 
• Exception handler in Java
• Introduction and overview of Logic programming
• Basic elements of Prolog
• Application of Logic programming
• Functional programming languages
• Introduction to 4GL 

Practicals:

• Memory Implementation of 2D Array. 
• Memory Implementation of 3D Array. 
• Implementation of pointers in C++. 
• Write a program in Java to implement exception handling.
• Write a program in C++ to implement call by value parameter passing Method.
• Write a program in C++ to implement call by reference parameter passing Method. 
• Write a program in Java to implement concurrent execution of a job using threads.
• Implement Inheritance in C#.
• Implement Encapsulation in C#.
• Implement static/compiletime Polymorphism in C#.
• Implement dynamic/runtime Polymorphism in C#.

Previous years solved papers:

• PPL|RGPV|May 2018 
• PPL|RGPV|June 2017 

A list of Video lectures

• Click here

References:

1. Sebesta,”Concept of programming Language”, Pearson Edu 
2. Louden, “Programming Languages: Principles & Practices” , Cengage Learning 
3. Tucker, “Programming Languages: Principles and paradigms “, Tata McGraw –Hill. 
4. E Horowitz, "Programming Languages", 2nd Edition, Addison Wesley