| |
VIRTUAL LIBRARY
for Bachelor and Master Degree Students
Course: Syntax and Semantics |
| Showing URLs 1 to 1 of 1 |
|
http://www.cs.auc.dk/~luca/SS/ss2002.html
|
| Available in: |
English |
| Anotation: |
The goal of this course is to introduce the main computational models and techniques that underlie the syntax and semantics of programming languages. The theory that we shall cover in this course has important applications in, e.g., compiler design, various design methodologies and notations (for instance, the UML notation), speech recognition, text processing, and many facets of program analysis and implementation. At the end of the course, the students will be familiar with the basic computational models of Finite State and Pushdown Automata, with the classes of grammars that generate the languages recognized by these abstract computational devices, and with basic operational and axiomatic semantics of programming languages. We shall try to emphasize the role played by semantics in compiler and language design, program analysis, and good programming practice. (The notions of pre- and post-conditions, loop invariants and the like have their root in a formalism for reasoning about programs called Hoare logic, which is the foundation of axiomatic semantics.) |
| ECTS credits: |
3 |
| Entered on: |
26 October 2002 |
|
|
|
|
