RE-EXAM The re-exam was published here on August 2, 2006 at 11:56: [ re-exam ] Period: [ Wednesday 02/08 @ 12:00 -- Friday 04/08 @ 12:00 ]

Semantics: [ Thursdays 11-14, Aud. F ]

COURSE OBJECTIVES (AIM & GOAL) The purpose of the course is for you to learn: to memorize ... to describe formally the meaning of a wide range of programming constructs; to explain fundamental concepts, techniques, and results regarding formal semantics of programming languages; to implement semantic descriptions in familiar programming languages; to analyze the meaning of a wide range of programming constructs; to compare semantic descriptions; to reason about semantic descriptions; to prove consequences of semantic descriptions; and to apply all above skills to concrete programs (to understand and prove properties of programs). to theorize ... Note: The exam is designed precisely to assess your level of profiency with respect to these skills and knowledge!

EVALUATION The exam is designed to test your depth understanding of semantics (in accordance with the Aims & Goals). As a consequence, it should be clear that I will not make any "type-exercises" solveable by "pattern-matching" (independent of understanding) for the exam. The exam will not necessarily resemble the exercise class exercises; the exercises are optimized for learning, the exam for measuring understanding. However, the exercise class exercises provide key insights that should be highly beneficial for the exam. A few details about the exam: 5 ECTS take-home project exam internal examiner 13 scale

Contents

CONTENTS Conceptual analysis and operational semantics of constructs from familiar programming languages; Relevant techniques for proving properties of operational semantics, including structural induction; Validation techniques, including implementation of operational semantics in a familiar programming language; The main differences between operational semantics and other kinds of formal semantics.

Claus Brabrand (July 09, 2006)