"Babes-Bolyai" University of Cluj-Napoca
Faculty of Mathematics and Computer Science

Formal methods in specification
Code
Semes-
ter
Hours: C+S+L
Credits
Type
Section
MI256
1
2+2+0
9
compulsory
Programare bazată pe componente - în limba engleză
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