| Metode de specificare formală |
trul |
|||||
| Cadre didactice indrumatoare |
| Lect. Dr. MOTOGNA Simona Claudia, motogna@cs.ubbcluj.ro |
| Obiective |
|
Cursul urmareste prezentarea sistematica a notiunilor si metodelor de baza utilizate in specificarea formala a limbajelor de programare. |
| Continut |
|
Cursul se doreste o introducere in semantica limbajelor de programare traditionale si orientate obiect. Se trec in revista diferitele modalitati de specificare semantica si se prezinta notiuni de gramatici de atribute si utilizarea lor in translatare, clauze Hoare, lambda calcul si aplicatii pentru diferite limbaje de programare. |
| Bibliografie |
|
1. A.V. Aho, J.D. Ullman - The Theory of Parsing, Translation and Compiling, Prentice Hall, 1972
2. T. Rus - Mecanisme formale pentru specificarea limbajelor, Ed. Academiei, 1983 3. H. Barendregt - The Lambda Calculus: Its Syntax and Semantics, North Holland, 1984 4. L. Cardelli, P. Wegner - On understanding types, data abstraction and polymorphism, Computing Surveys, 17(4), pg. 471-522, 1985 5. C. Gunter - Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992 |
| Evaluare |
|
Nota finala se acorda pe baza urmatoarelor activitati:
-lucrari de verificare periodice - proiect -examen final |