Semantics of programming languages 
ter 

Teaching Staff in Charge 

Aims 
 Understand the notion of semantics of a programming language
 Learning about different methods of semantics definition for programming languages  Know how to find a suitable specification method for a programming language and to apply it. 
Content 
1. Semantics of a programming language: defintions, basic concepts.
2. Specification criteria. 3. Attributive grammars. 4. Manual methods. 5. Syntaxoriented translation schemes. 6. Operational semantics. 7. Denotational semantics. 
References 
1. BAUER, F.L.  WOSSNER, H.: Algorithmic language and program development, SpringerVerlag, Berlin,1982.
2. GIANNINI, P.  LONGO, G.: Effectively given domains and lambdacalculus semantics, Information and Control, 62(1984) no. 1, pp. 3663. 3. HOARE, C.A.R.  WIRTH, NICHOLAS: An axiomatic definition of the programming language Pascal, Acta Informatica, 1973 no.2, pp. 335355. 4. LONGO, G.: SetTheoretical models of LambdaCalculus: Theories, Expansions, Isomorphisms, Annals of Pure and Applied Logic, 1983 no.24, pp. 153188. 5. HOARE, C.A.R.  LAUER, P.: Consistent and Complementary definitions of the semmantics of programming languages, Acta Informatica, 1973 no.3, pp. 135153. 6. GRUNE, DICK  BAL, H.  JACOBS, C.  LANGENDOEN, K.: Modern Compiler Design, John Wiley, 2000 7. SERBANATI, L.D.: Limbaje de programare si compilatoare, Ed. Academiei RSR, 1987 
Assessment 
Final grade is computed based on the following algorithm:
 papaer presentation 20%  project 30%  final exam 50% 