Scribd
Upload
41 views15 pages

CD-Unit-1-OneShot_Notes (2)

The document discusses a step in the compiler design process that checks the correctness of program declarations and statements. It provides an example of an incorrect statement where a floating-point number is assigned to an integer variable. This highlights the importance of semantic verification in programming.

Uploaded by

shekhalamgeer5
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
41 views15 pages

CD-Unit-1-OneShot_Notes (2)

The document discusses a step in the compiler design process that checks the correctness of program declarations and statements. It provides an example of an incorrect statement where a floating-point number is assigned to an integer variable. This highlights the importance of semantic verification in programming.

Uploaded by

shekhalamgeer5
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 15

A step in a compiler design process that verifies the correctness of a program's

declarations and statements.

e.g. int x = 12.3 ;


The above statement is grammatically correct but doesn't make sense because 12.3 i
s not an integer literal

You might also like