Universitatea "Babeş-Bolyai" din Cluj-Napoca

Facultatea de Matematică şi Informatică
FISA DISCIPLINEI

Semantica limbajelor de programare Semantics of programming languages
Cod
Semes-
trul
Ore: C+S+L
Credite
Tipul
Sectia
MI055
8
2+2+0
10
optionala
Informatică
(Computer Science)
Cadre didactice indrumatoare Teaching Staff in Charge
Lect. Dr. MOTOGNA Simona Claudia, motogna@cs.ubbcluj.ro
Obiective Aims
- 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.
- 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.
Continut
1. Notiunea de semantica a unui limbaj
2. Criterii de specificare.
3. Semantica operationala.
4. Semantica denotationala.
5. Semantica axiomatica. Descrierea axiomatica a limbajelor de programare.
6. Algebraic semantics.
7. Extragerea elementelor de specificat dintr-un limbaj.
8. Lambda-calcul: netipizat; tipizat; polimorfic de ordinul doi; specificarea semanticii limbajelor de programare prin lambda-calcul
Bibliografie
1. Bauer F.L. & H.Wossner, Algorithmic language and program development, Springer-Verlag, Berlin,1982.
2. Church A., The Calculi of Lambda-Conversion, Annals of Mathematics Studies, vol.6(1941), Princeton Univ. Press.
3. Giannini P., Longo G., Effectively given domains and lambda-calculus semantics, Information and Control, 62(1984),1,36-63.
4. Guttag, J.V.& J.J.Horning, The algebraic specific. of AD Types, Acta Informatica, 10(1978), 27-52. no.10, pp.576-580, 583.
5. Hoare, C.A.R. and N.Wirth, An axiomatic definition of the programming language Pascal, Acta Informatica, 2(1973), 335-355.
6. Longo G., Set-Theoretical models of Lambda-Calculus: Theories, Expansions, Isomorphisms, Annals of Pure and Applied Logic, 24(1983), 153-188.
7. Odifreddi P., Logic and Computer Science, Academic Press, Ney-York, 1990.
8. Hoare C.A.R., Lauer P., Consistent and Complementary definitions of the semmantics of programming languages, Acta Informatica, 3(1973), 135-153.
Evaluare Assessment
Nota finala se va calcula pe baza:
- lucrarilor practice periodice
- examen final
Students will have to submit periodical assessments and give a final exam.