NOTE THAT THE SLIDES BELOW ARE FOR 2010 - The slides will be updatedbefore classes begin
Note that most slides are in .pdf format
Note that in order to move the two sections of 60-100 to the same point before the group laboratory on Thursday 15th September, we will do the following: FOR SECTION 1, we will cover the slides for lecture 1 on the afternoon of Thursday 8th September, the slides for lecture 2 on the afternoon of Tuesday 13th September, and discussion of how to use the computing resurces on the afternoon of Thursday 15th September. FOR SECTION 30, on the evening of Tuesday 13th September, we will cover lecture slides 1 and 2 plus discussion of how to use the computing resources.
The slides for lecture 3 contain the answers to individual assignment#1 and will be made available on the web on Wednesday 21st September.
Note that the slides for lecture #3 contain the definitions of programs p3 to p12 from individual assignment #1.
The semantics of a programming language is concerned with the meaning of programs written in that language. The following links are examples of descriptions of syntax given together with descriptions of the semantics of the programming languages C and Java.
A not very formal specification of C and a slightly more formal specification of Java
This course only provides a brief introduction to the formal specification of syntax and semantics (using attribute grammars). However, the concepts are the same as those used in the specification of Java above. Do not worry if the specification of Java appears to be very difficult. Most Computer Science students will usually only be able to fully understand such specifications during their second year of undergraduate study.
Revision slides for lecture 24 - pdf