Course details
Programming Languages
PRJ Acad. year 2003/2004 Summer semester 6 credits
Types of semantic programming languages semantic definition: denotational, operational and axiomatic. Lambda calculus a its using for the denational semantic. Formal definition of basic types, structures a constructions using denotational semantic. Axiomatic semantic and its using for program correctnes proving. Examples of axiomatic definitions. The semantic of languages for functional and logic programming. Basics of object-oriented programming.
Guarantor
Language of instruction
Completion
Time span
Department
Subject specific learning outcomes and competences
Ability to formally define programming languages sematic a to use this definition in praxis. Ability and practical using of the program correctnes proving.
Learning objectives
To obtain theoretical foundations of the programming languages construction semantic definition. To obtain the ability to define this semantic and to use this definiction in praxis. To obtain an overview about basic models of programming languages.
Progress assessment
Half semester test. Continuous checking of the project solution by the supervisor.
Course inclusion in study plans
- Programme EI-BC-3, field VTB, 1st year of study, Elective
- Programme EI-BC-3 (in English), field VTB, 1st year of study, Elective
- Programme EI-MGR-3, field VTN, 1st year of study, Compulsory
- Programme EI-MGR-5, field VTI, 1st year of study, Compulsory
- Programme EI-MGR-5 (in English), field VTI, 1st year of study, Compulsory