Cs7120 (Prasad)L21-DCG1 Definite Clause Grammars [email protected]
Context-sensitive Analysis. Beyond Syntax There is a level of correctness that is deeper than grammar fie(a,b,c,d) int a, b, c, d; { … } fee() { int f[3],g[0],
1 Semantic Analysis Check semantics Error reporting Disambiguate overloaded operators Type coercion Static checking –Type checking –Control flow checking.
![Context-sensitive Analysis. Beyond Syntax There is a level of correctness that is deeper than grammar fie(a,b,c,d) int a, b, c, d; { … } fee() { int f[3],g[0],](https://static.fdocuments.us/doc/330x215/56649d585503460f94a36f1d/context-sensitive-analysis-beyond-syntax-there-is-a-level-of-correctness-that.jpg)
