Detail projektu

Objektově orientované funkcionální jazyky vyššího řádu s přetěžováním symbolů

Období řešení: 1. 1. 1997 - 31. 12. 1997

Typ projektu: grant

Agentura: Fakulta elektrotechniky a informatiky VUT

Program:

Název anglicky
High-degree object-oriented functional languages with symbol overloading
Typ
grant
Klíčová slova

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

Abstrakt

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

Řešitelé
Kolář Dušan, Dr. Ing. (UIVT FEI VUT) , hlavní řešitel
Publikace

1997

  • KOLÁŘ Dušan. Overloading in Object-Oriented Data Models. In: Proceedings of 31st International Conference MOSIS'97. Hradec nad Moravici: MARQ, 1997, s. 86-91. ISBN 80-85988-16-X. Detail
  • KOLÁŘ Dušan. Přetěžování funkcí a operátorů, Vlastnosti typů bez překrytí. Sborník prací studentů a doktorandů 1997. Brno: neznámá, 1997, s. 136-138. ISBN 80-214-0637-2. Detail
Nahoru