Jan30 - CSE262: Programming Languages Instructor: Dr. Liang...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
CSE262: Programming Languages Instructor: Dr. Liang Cheng Department of Computer Science and Engineering Lehigh University January 30, 2007
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 01/30/07 Outline ± Recap ± Chapter 3 (Sections 3.1, 3.2, 3.3 and 3.4) ± Parts of Chapter 4 (Sections 4.1, 4.3.1, 4.3.2 and 4.4.1) ± Operational semantics (Section 3.5.1) ± Attributes of variables (Chapter 5) ± Summary
Background image of page 2
Instructor: Dr. Liang Cheng CSE262: Programming Languages 01/30/07 You should now be able to … ± List who use language definitions ± Use BNF to define language syntax ± Understand and write attribute grammar ± Write a simple parser for a simple grammar ± Remove left recursion in a grammar
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 01/30/07 Remove Left Recursion ± BNF with left recursion ± <expr> <expr> + <term> ± Remove left recursion using EBNF ± <expr> <term> { + <term>} ± Remove left recursion using BNF transform A A α | β A →β R R →α R | ε
Background image of page 4
Instructor: Dr. Liang Cheng CSE262: Programming Languages 01/30/07 Outline ± Recap ± Operational semantics (Section 3.5.1) ± Attributes of variables (Chapter 5) ± Summary
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Instructor: Dr. Liang Cheng CSE262: Programming Languages 01/30/07 Describing Dynamic Semantics ± There is no single widely acceptable notation or formalism for describing dynamic semantics ± Operational semantics ± Based on state changes in the machine ± Axiomatic semantics ± Based on mathematical logic ± Denotational semantics ± Based on recursive function theory (most rigorous method)
Background image of page 6
Instructor: Dr. Liang Cheng
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 20

Jan30 - CSE262: Programming Languages Instructor: Dr. Liang...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online