Semantica limbajelor de programare |
trul |
|||||
Cadre didactice indrumatoare |
Lect. Dr. MOTOGNA Simona Claudia, motogna@cs.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. |
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 |
Nota finala se va calcula pe baza:
- lucrarilor practice periodice - examen final |