Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Licență

FISA DISCIPLINEI

Codul
Denumirea disciplinei
MI055 Semantica limbajelor de programare
Specializarea
Semestrul
Ore: C+S+L
Categoria
Statutul
Informatică - în limba engleză
7
2+0+2
optionala
Titularii de disciplina
Conf. Dr. MOTOGNA Simona Claudia,  motognacs.ubbcluj.ro
Obiective
- Intelegerea notiunii de semantica a unui limbaj;
- Cunoasterea diferitelor modalitati de definire a semanticii unui limbaj de programare;
- Aplicarea unui instrument de specificarea pentru un anumit limbaj.
Continutul
1. Analiza semantica - faza a constructiei unui compilator
2. Gramatici de atribute
3. Metode manuale.
4. Scheme de traducere orientata de sintaxa.
5. Notiunea de semantica a unui limbaj
6. Criterii de specificare.
7. Semantica operationala.
8. Semantica denotationala.
Bibliografie
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
Evaluare
Nota finala se va calcula pe baza:
- prezentare referat 20%
- proiect 30%
- examen final 50%
Legaturi: Syllabus-urile tuturor disciplinelor
Versiunea in limba engleza a acestei discipline
Versiunea in format rtf a acestei discipline