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í.

Popis anglicky
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.

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

Klíčová slova anglicky
Object oriented - Functional language - Symbol overloading

čeština

Kolář Dušan, doc. Dr. Ing. - hlavní řešitel

Ústav informačních systémů
- odpovědné pracoviště (23.10.2001 - nezadáno)
Výzkumná skupina informačních a databázových systémů
- interní (23.10.2001 - 31.12.1997)
Fakulta informačních technologií
- spolupříjemce (23.10.2001 - 31.12.1997)

Odpovědnost: Kolář Dušan, doc. Dr. Ing.