Upgrade to Pro — share decks privately, control downloads, hide ads and more …

UP Lecture 23

Avatar for Javier Gonzalez-Sanchez Javier Gonzalez-Sanchez
PRO
December 28, 2023
Programming
0
46

UP Lecture 23

Compilers
Semantic Analysis III
(202505)

Avatar for Javier Gonzalez-Sanchez

Javier Gonzalez-Sanchez
PRO

December 28, 2023
Tweet

More Decks by Javier Gonzalez-Sanchez

See All by Javier Gonzalez-Sanchez
CSC486 Lecture 14
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
150
CSC486 Lecture 13
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
100
CSC486 Lecture 12
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
100
CSC486 Lecture 11
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
59
CSC486 Lecture 10
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
1
99
CSC486 Lecture 08
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
85
CSC486 Lecture 07
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
140
CSC486 Lecture 06
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
120
CSC486 Lecture 05
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
120

Other Decks in Programming

See All in Programming
Laravel × Clean Architecture
Avatar for Takayuki bumptakayuki
PRO
0
150
CursorとDevinが仲間！？AI駆動で新規プロダクト開発に挑んだ３ヶ月を振り返る / A Story of New Product Development with Cursor and Devin
Avatar for r-kagaya rkaga
3
780
はじめてのPDFKit.pdf
Avatar for shoma.kato shomakato
0
100
知識0からカンファレンスやってみたらこうなった！
Avatar for syossan27 syossan27
5
250
七輪ライブラリー: Claude AI で作る Next.js アプリ
Avatar for suneo3476 suneo3476
1
190
Boost Your Performance and Developer Productivity with Jakarta EE 11
Avatar for ivargrimstad ivargrimstad
0
880
Designing Your Organization's Test Pyramid ( #scrumniigata )
Avatar for teyamagu teyamagu
PRO
5
1.4k
カオスに立ち向かう小規模チームの装備の選択〜フルスタックTSという装備の強み _ 弱み〜/Choosing equipment for a small team facing chaos ~ Strengths and weaknesses of full-stack TS~
Avatar for 株式会社ビットキー / Bitkey Inc. bitkey
1
140
Instrumentsを使用した アプリのパフォーマンス向上方法
Avatar for hinakko hinakko
0
250
Носок на сок
Avatar for Bo0oM bo0om
0
1.3k
By the way Google Cloud Next 2025に行ってみてどうだった
Avatar for Kento.Yamada ymd65536
0
130
Bedrock × Confluenceで簡単(?)社内RAG
Avatar for iharuoru iharuoru
1
130

Featured

See All Featured
Testing 201, or: Great Expectations
Avatar for Joseph Mastey jmmastey
42
7.5k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
329
24k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
Avatar for Michelle Schulp Hunt marktimemedia
30
2.4k
The Invisible Side of Design
Avatar for Vitaly Friedman smashingmag
299
50k
Fantastic passwords and where to find them - at NoRuKo
Avatar for Phil Nash philnash
51
3.2k
KATA
Avatar for Megan Lloyd mclloyd
29
14k
YesSQL, Process and Tooling at Scale
Avatar for Rocio Delgado rocio
172
14k
JavaScript: Past, Present, and Future - NDC Porto 2020
Avatar for David Neal reverentgeek
48
5.4k
Measuring & Analyzing Core Web Vitals
Avatar for Philip Tellis bluesmoon
7
420
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
Avatar for Eileen M. Uchitelle eileencodes
24
2.7k
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
276
23k
How STYLIGHT went responsive
Avatar for nonsquared nonsquared
100
5.5k

Transcript

  1. jgs Compilers Lecture 23: Semantic Analysis III Dr. Javier Gonzalez-Sanchez

    [email protected]

  2. jgs Previously …

  3. Dr. Javier Gonzalez-Sanchez | Compilers | 3 jgs Semantic Analysis

    1. Declaration and Unicity. Review for uniqueness and that the variable has been declared before its usage. 2. Types. Review that the types of variables match the values assigned to them. 3. Array’s indexes. Review that the indexes are integers. 4. Conditions. Review that all expressions on the conditons return a boolean value. 5. Return type. Review that the value returned by a method match the type of the method. 6. Parameters. Review that the parameters in a method match in type and number with the declaration of the method.

  4. Dr. Javier Gonzalez-Sanchez | Compilers | 4 jgs 3. Conditions

  5. Dr. Javier Gonzalez-Sanchez | Compilers | 5 jgs Error Recovery

    PROGRAM BODY ASSIGNMENT VARIABLE WHILE IF RETURN PRINT C EXPRESSION X Y R E A B

  6. Dr. Javier Gonzalez-Sanchez | Compilers | 6 jgs Example {

    int a; int b; boolean c; a = 4; b = a + 1; if (a > b) { print (a); } } cube for matching types symbol table stack

  7. Dr. Javier Gonzalez-Sanchez | Compilers | 7 jgs Grammar <PROGRAM>

    → '{' <BODY> '}’ <BODY> → {<PRINT>';'|<ASSIGNMENT>';'|<VARIABLE>';’|<WHILE>|<IF>|<RETURN>';'} <ASSIGNMENT> → identifier '=' <EXPRESSION> <VARIABLE> → ('int'|'float'|'boolean'|'char’|'string'|'void')identifier <WHILE> → 'while' '(' <EXPRESSION> ')' <PROGRAM> <IF> → 'if' '(' <EXPRESSION> ')' <PROGRAM> ['else' <PROGRAM>] <RETURN> → 'return' <PRINT> → ’print’ ‘(‘ <EXPRESSION> ‘)’ <EXPRESSION> → <X> {'|' <X>} <X> → <Y> {'&' <Y>} <Y> → ['!'] <R> <R> → <E> {('>'|'<'|'=='|'!=') <E>} <E> → <A> {(’+'|'-’) <A>} <A> → <B> {('*'|'/') <B>} <B> → ['-'] <C> <C> → integer | octal | hexadecimal | binary | true | false | string | char | float | identifier|'(' <EXPRESSION> ')'

  8. Dr. Javier Gonzalez-Sanchez | Compilers | 8 jgs Conditions WHILE

    String x = SemanticAnalizer.popStack(); if (!x.equals(“boolean”) { error(3); }

  9. Dr. Javier Gonzalez-Sanchez | Compilers | 9 jgs Conditions IF

    String x = SemanticAnalizer.popStack(); if (!x.equals(“boolean”) { error(3); }

  10. Dr. Javier Gonzalez-Sanchez | Compilers | 10 jgs Semantic Analysis

    Declaration and Unicity. Review for uniqueness and that the variable has been declared before its usage. Type Matching. Review that the types of variables match the values assigned to them. Array’s indexes. Review that the indexes are integers. Conditions. Review that all expressions on the conditions return a boolean value. Return type. Review that the value returned by a method matches the type of the method. Parameters. Review that the parameters in a method match in type and number with the declaration of the method.

  11. Dr. Javier Gonzalez-Sanchez | Compilers | 11 jgs 4. Return

    Type 5. Parameters

  12. Dr. Javier Gonzalez-Sanchez | Compilers | 12 jgs Let’s Work

  13. jgs Notes

  14. Dr. Javier Gonzalez-Sanchez | Compilers | 19 jgs Addition

  15. Dr. Javier Gonzalez-Sanchez | Compilers | 20 jgs Logic Operators

  16. Dr. Javier Gonzalez-Sanchez | Compilers | 21 jgs Note

  17. Dr. Javier Gonzalez-Sanchez | Compilers | 22 jgs Let Us

    Work 1. Functions: Grammar and Semantic Validation 2. Arrays: Grammar and Semantic Validation 3. Switch, For, and Do/While: Grammar and Semantic Validation 4. CallToMethod: Grammar and Semantic Validation

  18. jgs Example

  19. Dr. Javier Gonzalez-Sanchez | Compilers | 24 jgs Test Case

    1 1.{ 2.boolean boo; boolean foo; 3.int boo; int j; 4.int i; int minusfour; int k; 5.boolean k; 6.i = 4; 7.j = 3; 8.minusfour = boo; 9.while(i > 0) { 10. j = hello + 100 / 50; 11. while( j > 0) { 12. k = i*j; 13. print (k); 14. j = j-1; 15. } 16. i = i-1; 17.} 18.if (boo + minusfour) { 19. print (i); 20.} 21. 22.if (i < minusfour) { 23. print (j); 24.} 25.while (!i > minusfour) { 26. print (i); 27. i = i - 1; 28.} 29. 30.i = i + foo; 31.j = j + 1; 32.print (i); 33.print (j); 34.j = 100 > 90; 35.}

  20. Dr. Javier Gonzalez-Sanchez | Compilers | 25 jgs Test Case

    1 1.Line 2: variable <boo> is already defined 2.Line 4: variable <k> is already defined 3.Line 8: incompatible types: type mismatch 4.Line 10: variable <hello> not found 5.Line 10: incompatible types: type mismatch 6.Line 18: boolean expression expected 7.Line 30: incompatible types: type mismatch 8.Line 34: incompatible types: type mismatch

  21. Dr. Javier Gonzalez-Sanchez | Compilers | 26 jgs Questions

  22. jgs Compilers Javier Gonzalez-Sanchez, Ph.D. [email protected] Spring 2025 Copyright. These

    slides can only be used as study material for the Compilers course at Universidad Panamericana. They cannot be distributed or used for another purpose.