Course details

Programming Languages

PRJ Acad. year 2003/2004 Summer semester 6 credits

Current academic year

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.

Details ...

Guarantor

Hruška Tomáš, prof. Ing., CSc. (DIFS)

Language of instruction

Czech

Completion

Credit+Examination

Time span

Department

Department of Information Systems (UIFS)

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

Back to top