Formal methods in specification |
ter |
|||||
Teaching Staff in Charge |
Lect. MOTOGNA Simona Claudia, Ph.D., motogna@cs.ubbcluj.ro |
Aims |
The purpose of this course is a complete presentation of the basic notions and methods of formal specification of programming languages. |
Content |
The course is intended to be an introduction in semantics of programming languages (traditional languages and object-oriented languages). It presents different specification methods, inlcuding attribute grammars, Hoare clauses and lambda-calculus, together with their applications for several programming languages. |
References |
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 |
Assessment |
- periodical assessments
- project - final exam |