Kursanalys: Program Semantics and Analysis, semant09

Kursanalys HT09

Kursdata

• Kurs: DD2457 Programsemantik och programanalys, 6hp
  
• Omgång:  HT09,  Period 2
  
• Kursledare: Dilian Gurov
  
• Kursformat: 30t lektioner (föreläsningar blandade med övningar)
  
• Antal registrerade elever: 19
  
• Antal direkt avhoppade elever: 0
  
• Kurslitteratur: Nielson and Nielson: Semantics with Applications: An Appetizer, Springer-Verlag, 2007.
• Moment: HEM1 (2hp), LAB1 (2hp), TEN1 (2hp)
  
• Elever som klarat kursen: 15
  
• Prestationsgrad efter första examinationstillfället: A:5, B:2, C:3, D:2, E:3, Fx:2, F:0
  
• Examinationsgrad efter första examinationstillfället: 88%

Mål

To give a semantics for a programming language means to give a precise definition of the behaviour of programs written in this language. Only when the semantics of the language has been fixed, one can go about and prove such important properties like determinism and termination of program execution, equivalence of programs, correctness of translation of programs from one programming language into another, or that a program is correct. Different semantic styles have been developed for different purposes, depending on the level of detail needed for the particular task. The most important ones are: operational semantics, denotational semantics and axiomatic semantics.

The overall aim of the course is to study the main semantic styles used for capturing the meaning of programs in a formal way, compare their strengths and weaknesses, and analyze how they can be used for establishing important properties of programming languages, concrete programs, and transformations on programs. A secondary goal is to learn the theories and proof techniques on which such semantic investigations are based.

Förändringar inför denna kursomgång

Kursen är en uppgraderad version av tidigare kursen DD2454 Programspråksemantik, med ny bok och två nya kursmoment, bestående av två labbuppgifter och sex hemtal som har utvecklats.

Undervisningen

Jag brukar blanda föreläsningar med övningar. Hemtalen utvärderas med hjälp av kamraträttning med projekterad modellösning.

Sammanfattning

Kursen gick hyfsat bra, fast jag brukar ha högre delaktighet under föreläsningarna än denna gång.

Examination

Examinationen består av en skriftlig tenta, med bonuspåäng från hemtalen. Själva tentan (med lösningar) finns här.

Kurslitteratur

I kursen används boken Semantics with Applications: An Appetizer av Nielson and Nielson, Springer-Verlag, 2007, kompletterad med tilläggsmaterial i form av scannade noticer.

Elevenkät

Hela kursutvärderingen finns här.

Kursens belastning för eleverna

Enligt min uppfattning är studenterna lagom belastade under kursen.

Förkunskaper

Förkunskaper som är väsentliga för kursen är Diskret Matematik och Logik. De flesta studenter verkade ha tillräckliga förkunskaper.

Verkligt kursinnehåll

Det verkliga kursinnehållet kan ses på följande länk.

Övrigt

Inga kommentarer.

Planerade förändringar

Inga.