Projekt se zabývá návrhem a implementací analýzy a inference typů pro malý funkcionální objektově-orientovaný jazyk. Hlavním problémem je definovat sémantiku přetěžování v kontextu tříd s dědičností.

Description in English
The project deals with design and implementation of analysis and type inference for a small functional object-oriented language. The main problem solved is to define semantics of overloading in the context of classes with inheritance.

Keywords
Objektová orientace - Funkcionální jazyk - Přetěžování symbolů

Key words in English
Object oriented - Functional language - Symbol overloading

Czech

Kolář Dušan, doc. Dr. Ing. - principal person responsible

Department of Information Systems
- responsible department (23.10.2001 - not assigned)
Information and Database Systems Research Group
- internal (23.10.2001 - 31.12.1997)
Faculty of Information Technology
- co-beneficiary (23.10.2001 - 31.12.1997)

Responsibility: Kolář Dušan, doc. Dr. Ing.