| Semantica limbajelor de programare | Semantics of programming languages |
trul |
|||||
(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. |
|
1. Notiunea de semantica a unui limbaj
2. Semantica matematica. Teoria punctelor fixe. 3. Semantica operationala. 4. Semantica denotationala. 5. Semantica axiomatica. Descrierea axiomatica a limbajelor de programare. 6. Lambda-calcul: netipizat; tipizat; polimorfic de ordinul doi; specificarea semanticii limbajelor de programare prin lambda-calcul |
|
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. |