Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Licenţă
Domeniul: Informatică
Programul de studii: Informatică - în limba engleză
Limba de predare: Engleză

SYLLABUS

I. General data
Code	Subject	
MI055	Semantics of Programming Languages	

Semester	Hours: C+S+L	Category	Status	
7	2+0+2		optional	

II. Full status faculty members
Name and	Scientific	Didactic	Chair	Type of activity	
surname	title	title		C	S	L	
MOTOGNA Simona Claudia	Ph.D.	Assoc.Prof.	Programming  Languages and Methods	*			

Associated faculty members
Name and	Scientific	Institution	Type of	Type of activity	
surname	title		position	C	S	L	

III. Course objectives
- 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.	

IV. Course contents
1. Semantic analysis - phase inside a compiler
2. Attributive grammars.
3. Manual methods.
4. Syntax-oriented translation schemes.
5. Semantics of a programming language: defintions, basic concepts.
6. Specification criteria.
7. Operational semantics.
8. Denotational semantics.

V. Bibliography
1. BAUER, F.L. - WOSSNER, H.: Algorithmic language and program development, Springer-Verlag, Berlin,1982. 
2. GIANNINI, P. - LONGO, G.: Effectively given domains and lambda-calculus semantics, Information and Control, 62(1984) no. 1, pp. 36-63. 
3. HOARE, C.A.R. - WIRTH, NICHOLAS: An axiomatic definition of the programming language Pascal, Acta Informatica, 1973 no.2, pp. 335-355. 
4. LONGO, G.: Set-Theoretical models of Lambda-Calculus: Theories, Expansions,  Isomor-phisms, Annals of Pure and Applied Logic, 1983 no.24, pp. 153-188. 
5. HOARE, C.A.R. - LAUER, P.: Consistent and Complementary definitions of the semmantics of programming languages, Acta Informatica, 1973 no.3, pp. 135-153.
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 

VI. Thematic of didactic activities per weeks

VII. Didactic methods used

VIII. Assessment
Final grade is computed based on the following algorithm:
- papaer presentation 20%
- project 30%
- final exam 50%	

IX. Additional references

	Date,							Course responsible,
								Assoc.Prof. MOTOGNA Simona Claudia, Ph.D.