 |
F5S fall 2006 - Syntax and Semantics
Teacher: Andrea Valente (aaue.dk/~av)
Course plan:
Lecture nr: Date: Topic: Literature: Comments: 1 5/09 12:30 - B203 Syntax
Introduction to the course. Sets, Strings and Languages. Deterministic Finite Automata.Chapter 0 and Chapter 1.1 [TC] and JFlap. Notes(PDF) Remember to get a copy of the booklet with selected material from:
Introduction to the theory of computation, by M. Sipser
The booklet will be referred to as [TC]2 7/09 12:30 - B205 Syntax
Nondeterministic Automata. Relationships with DFA.Chapter 1.2 [TC], Notes(PDF) 3 12/09 12:30 - B203 Syntax
Regular expressions and finite automata.Chapter 1.3 [TC] Notes(PDF) 4 14/09 12:30 - B205 Syntax
Non-regular languages.Chapter 1.4 [TC] Notes(PDF) 5 19/09 12:30 - B203 Syntax
Context-free languages and grammars.Chapter 2.1 [TC] Notes(PDF) 6 21/09 12:30 - B205 Syntax
Pushdown automata. Relationships with context-free grammars.Chapter 2.2 [TC] Notes(PDF) 7 26/09 12:30 - B203 Syntax
Non-CF languages. What else is there?Chapter 2.3 [TC] and whatElse
parsing, interpreter pattern slides and code8 28/09 12:30 - B205 Semantics
Introduction to the formal semantics of programming languages.slides8 and Chapter 1 [SA], example of semantics functions in javascript. Get a copy of the online book:
Hanne Riis Nielson, Flemming Nielson - Semantics with Applications: A Formal Introduction. (PDF)
This book will be referred to as [SA]9 03/10 12:30 - B207 Semantics
Natural and structural operational semantics for the language While.slides9 and Chapter 2.1,2.2,2.3 [SA] Alternative discussion: Matthew Hennessy
Structural Operational Semantics is The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics (PS)10 05/10 12:30 - B205 Semantics
Relationships between natural and structural operational semantics for While.
Interpreters: their construction. Meta-circulat intepreters (here)slides10 11 24/10 12:30 - B207 Semantics
Operational semantics for extensions of While.Chapter 2.4 [SA] 12 26/10 12:30 - B205 Semantics
Natural semantics for blocks and procedures (While).blocks_procedures and Chapter 2.5 [SA] 13 31/10 12:30 - B207 Semantics
Axiomatic semantics. Partial correctness of programs. Loop invariants.axiomatic semantics and Chapter 6,6.1,6.2,6.3 [SA] 14 2/11 12:30 - B205 Semantics
Syntax and semantics of an object-based language.oo and articles ( 1 and 2) 15 9/11 12:30 - B205 Semantics Denotational semantics, fixed-point theory (short intro). Chapter 4.1 [SA] and this handout (from here)
Department for Software, Electronics og Mediatechnology - Aalborg
University Esbjerg - Niels Bohrs Vej 8 - 6700 Esbjerg - Denmark
Phone: +45 7912 7666 - Fax: +45 7912 7710